Integro

From Wikipedia

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 ab.