Matemaatiline maailmapilt
K i=K j a , c Ki
järeldub klassijaotuse definitsiooni 2. tingimusest, et . Järelikult ,
millest tuleneb, et aRc .
Näide: Suvalises hulgas A antud võrdusseosele vastav klassijaotus koosneb hulkadest
[a]R={b A : bRa }={b A : b=a}={a }
. Seega vastab võrdusele kui kõige kitsamale
ekvivalentsusseosele kõige peenem klassijaotus {{a }:a A } .
Näide: Vaatleme hulgas A ühehulgalist klassijaotust {A} . Talle vastava
ekvivalentsusseose R korral aRb a A b A (a , b) A × A . Seega antud juhul
R=U = A × A , s.t kõige jämedamale klassijaotusele {A} vastab kõige laiem
ekvivalentsusseos ehk universaalne seos A×A .
Meenutame, et hulki Aja B nimetatakse ekvivalentseteks, kui leidub bijektsioon
annaabi.ee 
