項書き換え
2つの項 a と b があって、a → b と b → a という規則がある場合、a を書き換えると a と b を行ったり来たりし、収束しなくなる。全ての項に対して収束する項書き換え系の性質を「停止性」と呼ぶ。