Lemma 14.3
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 14 Menge/Äquivalenzrelation/Partition/Fakt