5 二元关系的逻辑性质和排序问题