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