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.
