MDLUL/mit der Verknüpfung verträglich (Äquivalenzrelation)
Start=mit der Verknüpfung verträglich (Äquivalenzrelation)
MDLUL/mit der Verknüpfung verträglich (Äquivalenzrelation) |
---|
Ziel=Kommutatives Monoid/Äquivalenzrelation/Verträglich/Definition
Start=mit der Verknüpfung verträglich (Äquivalenzrelation)
MDLUL/mit der Verknüpfung verträglich (Äquivalenzrelation) |
---|
Ziel=Kommutatives Monoid/Äquivalenzrelation/Verträglich/Definition