A faktorhalmaz egyszeru: a teljes halmazt, ami felett az ekvivalenciat definialtad, azt az alapjan, hogy kik tartoznak ossze (vannak relacioban, de mivel reflexiv es tranzitiv igy csoportokat kepez), fel tudod osztani kisebb halmazokra, amik unioja kiadja az eredeti halmazt.
Peldaul a mod 2 ekvivalencia az egesz szamok felett eseten a faktorhalmaz ket halmazt tartalmaz: a paros szamok halmazat es a paratlan szamok halmazat. Tehat a faktorhalmaz itt egy ketelemu halmaz. Ha a [0..20] halmaz (21 db egesz) felett a mod 5 relaciot veszed, akkor a faktorhalmaz {{0,5,10,15,20},{1,6,11,16},{2,7,12,17},{3,8,13,18},{4,9,14,19}} otelemu.
A particio jo kerdes, mert a fenti felosztast lehet az alaphalmaz egy _particionalasanak_ nevezni, de hogy ebbol mi akar a particio lenni azt jobban meg tudnam mondani, ha a sajat szovegkornyezetebol bemasolnal rola egy mondatot.
[ Szerkesztve ]
