自反閉包

在數學中 ， 集合 X 上的二元關係 R 的 自反閉包 是 X 上包含 R 的最小的自反關係 。 例如 ， 若定義 X 爲數的集合 ， 並定義關係 x R y 當且僅當 x 嚴格小於 y ， 則 R 的自反閉包爲關係 R''' 滿足 “ x R' y 當且僅當 x 小於等於 y'' ” 。