集合 X 上的二元关系 的自反约简是最小的关系
在
上,且
与
具有相同的自反闭包。因此,对于
的任意元素
和
,当
和
不同且
时,
成立。
自反约简
另请参阅
自反闭包, 关系, 传递约简使用 Wolfram|Alpha 探索
请引用为
Weisstein, Eric W. “自反约简。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ReflexiveReduction.html