更新时间：2024-05-21 12:45
传递性是在逻辑学和数学中，若对所有的 a，b，c ∈X，下述语句保持有效，则集合 上的二元关系 R 是传递的：「若a 关系到 b 且 b 关系到 c， 则 a 关系到 c。」
若，其中为某种关系运算符。
则：
关系运算符满足传递关系：若则。
还有其他的例子：
等于关系
集合的包含关系
同号不等关系
整除关系
满足自反性的传递关系称为预序关系。满足反对称性的预序关系称为偏序关系。满足对称性的预序关系称为等价关系。