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$.

♣

• ↓Alárendelt lap:Bizonyítás