集合Aにおける順序関係に関連していくつかの用語が定義される。「chain, initial segment, cut」 poset A, B 間の関数f に関して、いくつかの用語が定義できる。「increasing/order-preserving, isomorphism」 (poset A, B 間にisoなfunctionが存在するとき…