A
集合上的二元关系 ,
R \subseteq A\times A
;
如果
R
关系是 自反 , 对称 , 传递 的 , 那么称
R
关系是 等价关系 ;
二、等价关系示例
---...; 传递 不成立 ;
等价关系 : 该关系是 自反 , 对称 的 , 不是传递的 , 因此该关系 不是等价关系 ;
5....;
三、等价关系与闭包示例
----
A
集合是非空集合 ,
A \not= \varnothing
, 并且
R
关系是
A
集合上的二元关系 ,
R \subseteq A\times...A
;
对
R
关系求三种闭包 , 有
6
种不同的顺序 , 讨论这些求闭包结果的性质 ;
6
种求闭包的性质 :
rts(R)
: 先求对称闭包 , 再求传递闭包 , 最后求自反闭包...;
对称与传递 , 后求的传递 , 因此其结果是传递的 ;
上述三个顺序产生的结果是 自反 , 对称 , 传递 的 , 其满足等价关系 , 结果是 等价闭包 ;
先求对传递包 , 再求对称闭包 :