Az \N\times \N halmazon értelmezett 13.1. Definíció szerinti \sim reláció ekvivalencia-osztályainak halmazát az egész számok halmazának nevezzük, és \Z-vel jelöljük. Ha az (a;b) természetes számpár az \N\times \N egy tetszőleges eleme, akkor [(a;b)]-vel jelöljük az (a;b) természetes számpár által reprezentált egész számot.