Integro

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