13.15. Tétel
Egész számok összeadása kommutatív és asszociatív
Jelölje \oplus a 13.13. Definícióban bevezetett műveletet. Ekkor a \Z halmaz tetszőleges [(a;b)], [(c;d)] és [(e;f)] elemeire igazak az alábbi összefüggések:
1.
2.
A \oplus művelet asszociatív, azaz
([(a;b)] \oplus [(c;d)]) \oplus [(e;f)] = [(a;b)] \oplus ([(c;d)] \oplus [(e;f)])
♣