Up
位に対する量の作用
位の算法は,位に対する量の作用「
+
」のただ一つです:
位のシフト (「ずらし」) が,これのイメージになります。
位が数 (
N
,
+
,
x
) に対する (
N
,
+
, ((
N
,
+
),
×
, (
N
,
+
,
×
)) ) と同型な系ということには,つぎの法則が含意されています:
(
X
+
x
)
+
y
=
X
+
(
x
+
y
)