传递关系

传递关系
image
传递关系(transitive relation)是一种特殊的关系，指由甲、乙和乙、丙都有，可推知甲、丙也有的那种关系。集合A上的二元关系R，对任何a，b，c∈A，当aRb，bRc时，有aRc，用符号表示：R是A上的传递关系⇔∀a∀b∀c(a∈A∧b∈A∧c∈A∧aRb∧bRc→aRc)。当A上的R是传递关系时，称R在A上是传递的，或说A上的关系R有传递性。例如，实数集中的小于关系与不小于关系都是传递的；而人群中的同学关系是不传递的。若R在A上是传递的，则R°R⊆R；反之，如R°R⊆R，则R在A上是传递的。一个反自反的传递关系是不对称的，一个反自反的对称非空关系不是传递关系。

基本内容

二元关系Ｒ是传递关系，当且仅当对任意对象
，如果ａ和ｂ有关系Ｒ，ｂ和ｃ有关系Ｒ，那么ａ和ｃ有关系Ｒ。如“大于”关系。
在逻辑学和数学中，若对所有的
属于X，下述语句保持有效，则集合X上的二元关系R是传递的：「若a关系到b且b关系到c，则a关系到c。」
数学上表示为：