Start=erzeugte Algebra

MDLUL/erzeugte Algebra

Ziel=erzeugte Algebra/Definition