第四章 二元关系和函数 4.5（2）偏序关系