13.13. Definíció
Egész számok összeadása
A \Z halmazon az alábbi képlet szerint értelmezett \oplus-szal jelölt kétváltozós műveletet összeadásnak nevezzük:
[(a;b)] \oplus [(c;d)] = [(a+c; b+d)]
A fentiekben + a 11.4. Definíció szerinti természetes számok közötti összeadást, [(x;y)] pedig a \Z halmaznak azon elemét jelöli, amelynek – mint ekvivalencia-osztálynak – eleme az (x;y) természetes számokból álló pár.
♣