數學中,集合 X 上的二元關係 R自反閉包X 上包含 R 的最小的自反關係

例如,若定義 X 為數的集合,並定義關係 x R y 若且唯若 x 嚴格小於 y,則 R 的自反閉包為關係 R' 滿足「 x R' y 若且唯若 x 小於等於 y 」。

定義

編輯

集合 X 上的關係 R 的自反閉包 S 的定義為

 

換言之,R 的自反閉包是 RX 上的恆等關係的併集。

參見

編輯

參考資料

編輯
  • Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998, p. 8

Template:Plt-stub