PC010271

formalnie

% Oznaczmy kolejne

przesunięcia literami x, y.z.y

3 Istnieje przesunięcie „zerowe” x+0=x

9 Dla każdego przesunięcia x istnieje przesunięcie -x takie, że x+(-x)=o

• x⁺(X+?)=(x+y)+z