Kurs:Diskrete Mathematik (Osnabrück 2020)/Äquivalenzrelation/Quotientenmenge/Universelle Eigenschaft/Fakt/Faktreferenznummer