13.2. Tétel
Természetes számpárok ekvivalenciarelációjának szükséges és elégséges feltétele
A 13.1. Definícióban szereplő \sim reláció két tetszőleges (a;b) és (c;d) számpár között akkor és csak akkor teljesül, ha a+d=b+c.
♣
13.2. Tétel
A 13.1. Definícióban szereplő \sim reláció két tetszőleges (a;b) és (c;d) számpár között akkor és csak akkor teljesül, ha a+d=b+c.
♣