Az egész számok halmaza

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ámokból álló pár az $\N\times \N$ egy tetszőleges eleme, akkor az $(a;b)$ számpárt az $[(a;b)]$ egész szám reprezentánsának (vagy reprezentáns elemének) nevezzük, és azt mondjuk, hogy $(a;b)$ reprezentálja az $[(a;b)]$ egész számot.

♣