A \Z halmazon az alábbi képlet szerint értelmezett \odot-tal jelölt kétváltozós műveletet szorzásnak nevezzük:
[(a;b)] \odot [(c;d)] = [(ac+bd; ad+bc)]A fentiekben + a 11.4. Definíció szerinti Peano-összeadást, az egymás után írás a 12.1. Definíció szerinti Peano-szorzá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.
