Start=Untermonoid

MDLUL/Untermonoid

Ziel=Untermonoid/Definition