2上的等价关系。习惯上会把等价关系的符号由formula_1改写为formula_10。例如，设formula_11，定义formula_2上的关系formula_1如下：其中formula_15叫做formula_16与formula_17模3同余，即formula_16除以3的余数与formula_17除以3的余数相等。例子有1R4, 2R5, 3R6。不难验证formula_1为formula_2上的等价关系。并非所有的二元关系都是等价关系。一个简单的反例是比较两个数中哪个较大：