MDLUL/Verfeinerung (Äquivalenzrelation)

Start=Verfeinerung (Äquivalenzrelation)

MDLUL/Verfeinerung (Äquivalenzrelation)

Ziel=Äquivalenzrelation/Verfeinerung/Definition