[x]R={y∣y∈A∧⟨x,y⟩∈R} R 是非空集合 A 上的 等价关系，其中 x 称为 [x]R 的 代表元 性质 等价类不是空集 一个元素属于一个等价类，它为代表元的等价类和原来所在的等价类相等 如果一个元素不属于一个等价类，它为代表元的等价类和不属于它的等价类没有相交 非空集合上所有元素对应的等价类作交集结果就是集合本身 商集