约简序

在严格序 的项集上，项重写系统被称为约简序，如果

1. 项集关于 是良序集，即，其所有非空子集都包含最小元素，

2. 此序与系统的函数（运算）兼容，即，

和

3. 对于任何替换 (参见 合一)，。

如果对于每个重写规则 成立，则此项重写系统是有限终止的。