Természetes számpárok ekvivalenciarelációja

Az \N \times \N halmaz elemei között vezessünk be egy \sim szimbólummal jelölt relációt úgy, hogy tetszőleges (a;b) és (c;d) számpárok esetén (a;b)\sim (c;d) akkor és csak akkor teljesüljön, ha az alábbi két feltétel közül legalább az egyik teljesül:

♣