传递关系

一种特殊的关系。假定R为集合S上的一关系，亦即有RS×S，且S=fldR。如果对于任意的x，y，z∈S，有R(x，y)和R(y，z)蕴涵R(x，z)，则称R是一传递关系。用公式表达，为

当关系R是一传递关系时，也称R为有传递性的关系，或称关系R有传递性。传递性在集合论与逻辑学中有重要的作用，它是偏序、线序与良序关系的一个中心概念。