等价关系（equivalence relation）即设formula_1是某个集合formula_2上的一个二元关系。若formula_1满足以下条件：则称formula_1是一个定义在formula_2上的等价关系。习惯上会把等价关系的符号由formula_1改写为formula_10。例如，设formula_11，定义formula_2上的关系formula_1如下：其中formula_15叫做formula_16与formula_17模3 同余，即formula_16除以3的余数与for