Menge/Äquivalenzrelation/Partition/Fakt/Beweis

Beweis

Dass eine Äquivalenzrelation eine Partition festlegt, wurde in Fakt  (2) begründet. Die Rückrichtung ist klar, man kann auch Fakt heranziehen. Dass die Zuordnungen invers zueinander sind, ist auch klar.