等价关系

集合上特殊的二元关系
等价关系(英语:Equivalence relation),也称为同值关系,是集合上的一种特殊的二元关系,它同时具有自反性、对称性和传递性。等价关系在数学中有广泛的应用,例如整数集上的同余、欧氏几何中的等量以及平凡的相等关系。通过等价关系可以将集合划分为不相交的等价类,从而简化问题的复杂度。在软件测试中,等价关系可用于选择测试用例。

定义

设R是集合A上的一个二元关系,若R满足以下条件:
自反性:∀a∈A, (a,a)∈R
对称性:∀a,b∈A, (a,b)∈R ∧ a≠b => (b,a)∈R