不相交集类

等价关系

若对于每一对元素(a,b)，a，b属于S，aRb或者为true或者为false，则称在集合S上定义关系（Releation)R。如果aRb为true，则说a与b有关系。

等价关系（equivalence relation）是满足下列三个性质的关系R：

1. （自反性）对于所有的a属于S，aRa
2. （对称性）aRb且bRa的值一样
3. （传递性）若aRb的结果和bRc的结果一样，则aRc的结果和aRb也一样。