数学 Wiki
Advertisement

順序型 (Order type) とは、全順序集合を分類する方法の一つである[1]。すべての全順序集合 は、順序型に関係付けられる。

2つの集合 A と B が同じ順序型であるとは、順序同型(order isomorphic) であることである。

ここで、全順序集合 順序同型であるとは、すべての A の要素 に対して、

となるような A から B への全単射 f が存在することである。

出典

Advertisement