Grundterm

Einfache Sprache

Def. Grundterm

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