互いに順序同型な2つの順序集合は、個々の要素は異なっても順序集合として同じ''形''をしていると言える.
互いに