Integro

Integro esas l'ensemblo di naturala nombri (0, 1, 2, ...) e lua opozi (-1, -2, -3, ...). Plu rigoroze on definas $\mathbb {Z}$ kom la quociento di $\mathbb {N} \times \mathbb {N}$ per la relato $(a,b)R(a',b')$ se, e nur se, $a+b'=a'+b$, i.e. duo $(a,b)$ reprezentas l'intuicala integro$a-b$.