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 Peano-ö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ámpár.
