本页使用了标题或全文手工转换

传递关系

维基百科,自由的百科全书
跳转至: 导航搜索

傳遞關係、即在逻辑学数学中,若对所有的abc属于X,下述語句保持有效,則集合X上的二元关系R传递的:「若a关系到bb关系到c,则 a关系到c。」

特性[编辑]

数学上表示为:

\forall a, b, c  \in X,\ a R b \and b R c \; \Rightarrow a R c

例如:"大于等于"是种传递关系:若abbcac

传递关系举例:

  • "等于"(等于
  • "是……的子集"(集合的包含)
  • "小于等于"和"大于等于"(不等
  • "除"(整除

满足自反性的传递关系称为预序关系。满足反对称性的预序关系称为偏序关系。满足对称性的预序关系称为等价关系

參考文獻[编辑]

外部連結[编辑]