項書き換え
抽象的な項書き換え系もある。この場合、項の集合と置換規則を用意しなければならない。
項の集合 T = {a, b, c} と、置換規則 a → b、b → a、a → c、b → c があるとする。これをよくみると a も b も最終的に c に書き換えられることがわかる。このような特性が重要である。この場合、c はその系において最も基本的な項と考えられ、c を他の何かに書き換えることができない。