Bezeichnungen (I)

• alles für (U,→)

• x∈U ist reduzierbar, wenn ∃y : x→y

• x∈U ist Normalform (irreducible), wenn ¬∃y : x→y
• y ist Normalform von x, falls x→^*y und y ist Normalform
• x und y sind zusammenführbar (joinable), wenn ∃z : x→^*z←^*y.      Notation dafür: x↓y
• in ARS mit mehreren Relationen (R, S,...)

  sind die Bezeichnungen:

  R-Normalform, S-zusammenführbar usw.