順序型
order type
全順序集合
同士の "形" を比較するために、その構造のみに注目することによって得られる概念
演算もできる
https://ja.wikipedia.org/wiki/順序型