MDLUL/Grundtermmenge

Start=Grundtermmenge

MDLUL/Grundtermmenge

Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Definition