什么是非空集合A上的等价关系？

定义：

解释

既然是等价关系，那么 $A$ 中的元素 $a$ 一定和自己等价

如果 $a$ 和 $b$ 等价，那么 $b$ 和 $a$ 也一定等价

如果 $a,b$ 等价， $b,c$ 等价，那么 $a,c$ 一定等价