跳转到内容

自反闭包

维基百科,自由的百科全书

数学中,集合 X 上的二元关系 R自反闭包X 上包含 R 的最小的自反关系

例如,若定义 X 为数的集合,并定义关系 x R y 当且仅当 x 严格小于 y,则 R 的自反闭包为关系 R' 满足“ x R' y 当且仅当 x 小于等于 y ”。

定义

[编辑]

集合 X 上的关系 R 的自反闭包 S 的定义为

换言之,R 的自反闭包是 RX 上的恒等关系的并集。

参见

[编辑]

参考资料

[编辑]
  • Franz Baader and Tobias Nipkow, Term Rewriting and All That, Cambridge University Press, 1998, p. 8

Template:Plt-stub