如果一个归约系统满足：对于所有 
、
和 
，使得 
且 
，都存在一个 
，使得 
且 
，则称该归约系统是汇合的（或全局汇合的）。如果一个归约系统满足：对于所有 
、
、
，使得 
且 
，都存在一个 
，使得 
且 
，则称该归约系统是局部汇合的。 这里，符号 
表示 
在一步内归约到 
，而 
表示 
在零步或多步内归约到 
。
一个归约系统是汇合的，当且仅当它具有 Church-Rosser 属性（Wolfram 2002, p. 1036）。在有限终止的归约系统中，全局汇合和局部汇合是等价的，例如在上面显示的系统中。既是有限终止又是汇合的归约系统被称为收敛的。在收敛的归约系统中，所有表达式都存在唯一的范式。
确定给定的归约系统是否汇合的问题是递归不可判定的。
汇合的性质称为汇合性。汇合性是因果不变性的必要条件。
