题目

关于 自反闭包的 证明.谢谢
假定集合S上一个关系R,定义R'为：R' = R U { (s,s) ∈ S }
即, R' 包含 R的所有对以及（s,s）.
证明 R' 是 R的自反闭包.
请问 如何证明? 我觉得这个问题 很显然啊,如何写证明过程呢?
谢谢各位了

提问时间：2021-05-06

答案

1,R包含于R',2,{ (s,s) ∈ S }包含于R',R'是自反的3,设有R' ‘是包含R的自反关系,对于任意的（X,Y）∈R’,（X,Y）∈R,或者（X,Y）∈ { (s,s) ∈ S },因为R包含于R",并且因为R" 自反,{ (s,s) ∈ S }包含于R",所以R'包...