自反閉包

集合 集合 上的 二元關係 的自反閉包是包含 的 上的最小自反 關係 。因此，對於 的每個元素 ，都有 ；對於不同的元素 和 ，如果 ，則有 。