Lemma 10.10
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 10 Abbildung/Wertgleichheit/Äquivalenzrelation/Fakt