四、全序关系和链
定义10.8.7
定义10.8.8
定义10.8.9
定理10.8.4
定理10.8.5