在数学上，等价关系是划分类别的标准，所有等价的都可以归结为一类，称之为等价类。满足以下性质的关系~称为等价关系：
（1）自反性：A~A；
（2）对称性：A~B，则B~A；
（3）传递性：A~B，B~C，则A~C。