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:

♣