eine azyklische Gleichungsterminologie und
und 
Konzeptbeschreibungen. Desweiteren sei 
eine
Funktion
von Konzeptbeschreibungen und Terminologien nach Konzeptbeschreibungen, die
in einer Konzeptbeschreibung 
rekursiv alle in definierten
Konzepte durch ihre entsprechenden Definitionen ersetzt. 
enthält also nur noch Konzepte, die nicht in definiert
sind. Offensichtlich gilt 
für
alle Modell 
von . Beweise die nachfolgenden Aussagen.
, dann 
.
, dann .