Up 位に対する量の作用  


    位の算法は,位に対する量の作用「」のただ一つです:


    位のシフト (「ずらし」) が,これのイメージになります。

    位が数 (N, +, x) に対する ( , , ((,), ×, (,,×)) ) と同型な系ということには,つぎの法則が含意されています:

( ) ( )