8.2.2 位測定
位の系 (S,((Q,+),(N,+,×),
×
),
+
) の基準Oと単位uに対し,関数
(O,u):S ─→ N
を
(O,u)(O
+
u
×
ξ)=ξ (ξ∈N)
で定義する。(O,u) はQとNの間の1対1対応になっている。
このとき,つぎの読み方が可能になる。即ち,関数 (O,u) に対しては“Oを基準としuを単位とする位測定”,そして(O,u)(X) に対しては“基準Oと単位uに対するXの値”。