Normalformen

Für eine zweistellige Relation ρ auf M

(zum Beispiel eine Ersetzungsrelation →_R auf Term(Σ) )

heißt x∈M eine ρ -Normalform, falls ¬∃y∈M : ρ(x, y) .

Beachte: für passende ρ und x kann vorkommen:

• p hat mehrere Normalformen
• p hat keine Normalform