主题
Search

自反约简


集合 X 上的二元关系 R 的自反约简是最小的关系 R^'X 上,且 R^'R 具有相同的自反闭包。因此,对于 X 的任意元素 ab,当 ab 不同且 aRb 时,aR^'b 成立。


另请参阅

自反闭包, 关系, 传递约简

使用 Wolfram|Alpha 探索

请引用为

Weisstein, Eric W. “自反约简。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ReflexiveReduction.html

主题分类