第四章 二元关系和函数 4.5（1）等价关系