Az \N \times \N halmaz elemei között vezessünk be egy \sim szimbólummal jelölt relációt. Tetszőleges (a;b) és (c;d) számpárok esetén (a;b)\sim (c;d) akkor és csak akkor, ha az alábbi két feltétel közül legalább az egyik teljesül:
- Létezik olyan n természetes szám, hogy a+n=c és b+n=d.
- Létezik olyan k természetes szám, hogy c+k=a és d+k=b.