Es sei eine Menge und eine
Äquivalenzrelation
auf mit den
Äquivalenzklassen
, ,
und der
Quotientenmenge
. Dann gelten folgende Aussagen.
- Es ist genau dann, wenn ist, und dies gilt genau dann, wenn .
- Die Identifikationsabbildung
-
ist surjektiv.
- Es ist .