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^{\prime },b^{\prime })$ se, e nur se, $a+b^{\prime }=a^{\prime }+b$, i.e. duo $(a,b)$ reprezentas l'intuicala integro$a-b$.