MDLUL/Term

Start=Term

MDLUL/Term

Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv_definierte_Termmenge/Definition