Start=Quotientenmenge

MDLUL/Quotientenmenge

Ziel=Äquivalenzrelation/Quotientenmenge/Definition