Normalformen

Für eine zweistellige Relation $\rho$ auf M

(zum Beispiel eine Ersetzungsrelation $\to_{R}^{}$ auf Term($\Sigma$))

heißt x $\in$ M eine $\rho$-Normalform, falls ¬$\exists$y $\in$ M : $\rho$(x, y).

Beachte: für passende $\rho$ und x kann vorkommen:

• p hat mehrere Normalformen
• p hat keine Normalform