約簡序

在嚴格序 的項集上，項重寫系統被稱為約簡序，如果

1. 項集關於 是良序集，即，其所有非空子集都包含最小元素，

2. 此序與系統的函式（運算）相容，即，

和

3. 對於任何替換 (參見 合一)，。

如果對於每個重寫規則 成立，則此項重寫系統是有限終止的。