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