的自反闭包二元关系 在上设置 是最小的反射的 关系 在包含.因此对于每个元素属于和对于不同的元素和，前提是.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“反射性闭合。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ReflexiveClosure.html
