順序型
数学でいう順序型(じゅんじょがた、order type)とは、全順序集合同士の "形" を比較するために、その構造のみに注目することによって得られる概念である。