自反闭包

集合 集合 上的 二元关系 的自反闭包是包含 的 上的最小自反 关系 。因此，对于 的每个元素 ，都有 ；对于不同的元素 和 ，如果 ，则有 。