自反約簡

集合 X 上的二元關係 的自反約簡是最小的關係 在 上，且 與 具有相同的自反閉包。因此，對於 的任意元素 和 ，當 和 不同且 時， 成立。