順序型
順序型には和と積の演算を定義することができる。