Starke Normalisierung

Die Eigenschaft eines Reduktionssystems (Umschreibungs- oder Berechnungskalküls), dass jede mögliche Reduktionsfolge von jedem Term aus endlich ist; mit anderen Worten besitzt kein Term eine unendliche absteigende Folge von Reduktionen, und jeder Term erreicht eine Normalform.