順序型 (Order type) とは、全順序集合を分類する方法の一つである[1]。すべての全順序集合 は、順序型に関係付けられる。 2つの集合 A と B が同じ順序型であるとは、順序同型(order isomorphic) であることである。 ここで、全順序集合 と が順序同型であるとは、すべての A の要素 に対して、 となるような A から B への全単射 f が存在することである。 出典 編集 ↑ MathWorld - Order Type 広告ブロッカーが検出されました。 広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。 広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。 カテゴリ: 順序数 カテゴリを追加 取り消し 保存
は、順序型に関係付けられる。
と 
が順序同型であるとは、すべての A の要素 
に対して、
編集