6.6.2 順序構造を伴う量の系からの導出
順序構造を伴う量の系
((Ｑ,＋,≦),(Ｎ,＋,×,≦),
×
)
からは順序構造を伴う位の系
((Ｑ
0
,≦),((Ｑ
D
,＋,≦),(N
D
,＋,×,≦),
×
),＋)
が導かれる。