Einfache Sprache
Def. Grundterm Ein Grundterm ist ein Term, in dem keine Elementvariable vorkommt.
Def. Grundterm
Ein Grundterm ist ein Term, in dem keine Elementvariable vorkommt.