给定集合S和二元关系R:S×S。如果R满足以下性质，则其为等价关系： 自反性：∀a∈S,(a,a)∈R 对称性：∀a,b∈S,(a,b)∈R⟺(b,a)∈R 传递性：∀a,b,c∈S,(a,b)∈R∧(b,c)∈R⟹(a,c)∈R 等价类 设R是集合S上的等价关系，对于a∈S,定义等价类为： {x∣(a,x)∈R}