等价关系

等价关系定义：设R是A上的关系，若R是自反的、对称的和传递的，则称R是A上的等价关系。

---

eg：

1、

2、


3、证明等价关系

等价类的定义：设R是非空集合A上的等价关系，对任意x∈A，称集合[x]R = {y| y ∈ A, <x, y> ∈ R} 为x关于R的等价类，或叫做由x生成的一个R等价类，其中x成为[x]R的生成元

eg：

1、

定理：