A \Z halmaz tetszőleges [(a;b)], [(c;d)] és [(e;f)] elemeire igazak az alábbi összefüggések:

[(a;b)] \odot [(c;d)] = [(c;d)] \odot [(a;b)] ([(a;b)] \odot [(c;d)]) \odot [(e;f)] = [(a;b)] \odot ([(c;d)] \odot [(e;f)]) [(a;b)] \odot ([(c;d)] \oplus [(e;f)]) = [(a;b)] \odot [(c;d)] \oplus [(a;b)] \odot [(e;f)]

Más szavakkal a \odot művelet kommutatív és asszociatív, valamint disztributív a \oplus műveletre nézve.