Lemma 39.13
Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil II/Vorlesung 39
Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt