对称闭包

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

例如,若定义 X 为机场的集合,并且 x R y 当且仅当 “存在从 xy 的直航航班”,则 R 的对称闭包为关系 R' 满足“ x R' y 当且仅当存在从 xy 及从 yx 的直航航班”。

定义

集合 X 上的关系 R 的对称闭包 S 的定义为

 

换言之,R 的对称闭包是 RX 上的逆关系的并集。

参见

参考资料

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

Template:Plt-stub