Äquivalenzklassen/Partition/Eigenschaften/V1/Fakt

Es sei ${\displaystyle {}M}$ eine Menge und ${\displaystyle {}\sim }$ eine Äquivalenzrelation auf ${\displaystyle {}M}$ mit den Äquivalenzklassen ${\displaystyle {}[x]}$, ${\displaystyle {}x\in M}$, und der Quotientenmenge ${\displaystyle {}M/\sim }$. Dann gelten folgende Aussagen.