二、函数与等价关系的相容性　 　　定义11.3.3 　　定理11.3.4