Cartesian product
2つの半順序集合（の台集合）の直積集合上の半順序としては次の三種類がある。