Matemaatiline maailmapilt
[x ]={ y X : y 1=x 1 }
nad asuvad samal vertikaalsel sirgel. Siis on kõigi punktide hulk, mis
asuvad punktiga x ühel ja samal vertikaalsel sirgel, ehk punkti x läbiv vertikaalne sirge.
Faktorhulk X / R koosneb siin kõigist vertikaalsetest sirgetest.
Teoreem (klassijaotuste ja ekvivalentsusseoste vaheline vastavus)
A / R={[ a ]R :a A }
Kui R on ekvivalentsusseos hulgal A , siis faktorhulk on
klassijaotus hulgal A .
TÕESTUS
[a] R={x A :aRx }
Meenutame, et .
annaabi.ee 
