傳遞性

傳遞性是在邏輯學和數學中，若對所有的 a，b，c ∈X，下述語句保持有效，則集合 上的二元關係 R 是傳遞的：「若a 關係到 b 且 b 關係到 c， 則 a 關係到 c。」

基本介紹

• 中文名：傳遞性
• 外文名：transitivity
• 學科：數學
• 套用領域：代數

數學表示

若，其中為某種關係運算符。

則：

例子

關係運算符滿足傳遞關係：若則。

還有其他的例子：

等於關係

集合的包含關係

同號不等關係

整除關係

滿足自反性的傳遞關係稱為預序關係。滿足反對稱性的預序關係稱為偏序關係。滿足對稱性的預序關係稱為等價關係。