Matemaatiline maailmapilt
t kui aRb , siis bRa ;
(c) transitiivne, s.t kui aRb ja bRc , siis aRc .
Definitsioon
Olgu R ekvivalentsusseos hulgal A . Ekvivalentsiklassiks elemendi a A järgi
nimetatakse hulga A osahulka , mis koosneb hulga A kõigist elementidest, mis on
[a] R
seoses R elemendiga a , s.t [a]R ¿={x A :aRx } .
Definitsioon
Olgu R ekvivalentsusseos hulgal A . Hulka, mille elementideks on seosele R vastava
klassijaotuse kõik klassid, nimetatakse hulga A faktorhulgaks ekvivalentsusseose R
järgi ja tähistatakse A / R .
[a]R={x A : aRx }
A / R={[ a ]R : a A }
Seega, .
Näide: Olgu A eesti keele tähestik. Ütleme, et sõnad x ja y on seoses R , kui nad on
[rong] R
sama pikad. Millised sõnad kuuluvad hulka ?
[rong] R ={koer , kala , suss , ... }
Lahendus:
annaabi.ee 
