Start=Funktionssymbol

MDLUL/Funktionssymbol

Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Definition