MDLUL/mit der Verknüpfung verträgliche Äquivalenzrelation

Start=mit der Verknüpfung verträgliche Äquivalenzrelation

MDLUL/mit der Verknüpfung verträgliche Äquivalenzrelation

Ziel=Kommutatives Monoid/Äquivalenzrelation/Verträglich/Definition