ekvivalentsusklassis
Ekvivalentsusklassis on hulgast S üks osa, kuhu kuuluvad kõik elemendid, mis on omavahel ekvivalentsed sama ekvivalentsusrelaatsiooniga ~. Ehk [a] = { x in S | x ~ a } on ekvivalentsusklassi moodustanud elementide kogum a jaoks.
Kui ~ on ekvivalentsusrelaatsioon hulgale S, jaotab see S mitmeks ekvivalentsusklassis. Iga element kuulub täpselt ühte klassi
Näited: 1) Täisarvudele modulo n defineeritakse [a] = { b in Z | b ≡ a (mod n) }. Sellised klassid
Kvotihulk S/~ nimetatakse sageli kvotiks ja tähistatakse S/~. See koosneb kõigist ekvivalentsusklassimide kogumitest; kvot võimaldab S-d
Seosed ja rakendused: Ekvivalentsusklassimide mõiste on keskne hulgateoorias, algebras ja topoloogias. Näiteks modulo-arvud annavad lihtsate kvotihulkade