Kurs:Einführung in die mathematische Logik/Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Faktreferenznummer

Lemma 11.13 (Diskrete Mathematik (Osnabrück 2020))