Lemma 11.12
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 11 Äquivalenzklassen/Partition/Quotientenmenge/Eigenschaften/Fakt