5.6.1 偏序关系的概念