全順序集合同士の "形" を比較するために、その構造のみに注目することによって得られる概念

演算もできる