传递关系

扩展释义

传递关系(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上是传递的。一个反自反的传递关系是不对称的，一个反自反的对称非空关系不是传递关系。