正規化 (項書き換え)
ここに → ∗ {\displaystyle {\rightarrow }^{*}} は → {\displaystyle {\rightarrow }} の反射推移閉包である。任意の t ∈ T {\displaystyle t\in T} が弱正規化するとき、 → {\displaystyle {\rightarrow }} は弱正規化するという。
t ∈ T {\displaystyle t\in T} について、 t {\displaystyle t} から始まる無限長の簡約列が存在しないとき、 t {\displaystyle t} は強正規化する (SN)、あるいは停止するという。任意の t ∈ T {\displaystyle t\in T} が強正規化するとき、 → {\displaystyle {\rightarrow }} は強正規化するという。