Äquivalenzklassen/Partition/Eigenschaften/V1/Fakt/Beweis

Beweis
  1. Seien und äquivalent und . Dann ist und nach der Transitivität auch , also . Damit stimmen die Äquivalenzklasssen überein. Die Implikation von der Mitte nach rechts ist klar, da wegen Äquivalenzklassen nicht leer sind. Es sei nun , und sei ein Element im Durchschnitt. Dann ist und und wegen der Transitivität ist .
  2. Die Surjektivität ist klar aufgrund der Definition der Quotientenmenge, und da auf die Klasse geschickt wird.
  3. Es ist