6.4.1 順序構造を伴う量の系
順序構造を伴う数の系 (Ｎ,＋,×,≦) に対する系
((Ｎ,＋,≦),(Ｎ,＋,×,≦),×)
を，順序構造を伴う量形式と呼び，これと同型な系
((Ｑ,＋,≦),(Ｎ,＋,×,≦),
×
)
を，順序構造を伴う量の系と呼ぼう。