9.4 关系的闭包

9.4 关系的闭包

先扩充两个概念：逆关系和补关系。
$$\begin{gathered} 假设从集合A到集合B的关系为R，即(a,b)\in R \\ 逆关系：R^{-1}：如果(a,b)\in R，则(b,a)\in R \\ 补关系：\overline{R}：(a,b)\notin R \end{gathered}$$
再来是一个特殊关系的定义——对角关系：
对 于 集 合 A 而 言 ， Δ 表 示 对 交 关 系 ， 即 Δ = { ( a , a ) ∣ a ∈ A } 对于集合A而言，\Delta 表示对交关系，即 \Delta =\{(a,a)|a \in A\} 对于集合A而言，Δ表示对交关系，即Δ={ (a,a)∣a∈A}

闭包

就是关系的性质：自反，对称，反对称，如果集合中关系不满足某一性质时，我们通过将一些不缺失的形式关系补上，就能使新的关系满足该性质，满足该性质的关系就叫做闭包。根据满足的性质，又叫做自反闭包，对称闭包，反对称闭包。

比如：
对 于 集 合 A = ( 1 , 2 , 3 ) 中 的 关 系 ： R = { ( 1 , 2 ) , ( 2 , 3 ) } 的 传 递 闭 包 是 什 么 ？ 答 ： R ∪ { ( 1 , 3 ) } 对于集合A=(1,2,3)中的关系：R=\{(1,2),(2,3)\}的传递闭包是什么？\\ 答：R \cup \{(1,3)\} 对于集合A=(1,2,3)中的关系：R={ (1,2),(2,3)}的传递闭包是什么？答：R∪{ (1,3)}

再比如：
$$假设集合A为整数集，$$