A 13.1. Definícióban szereplő \sim reláció két tetszőleges (a;b) és (c;d) számpárok között akkor és csak akkor teljesül, ha a+d=b+c.
A 13.1. Definícióban szereplő \sim reláció két tetszőleges (a;b) és (c;d) számpárok között akkor és csak akkor teljesül, ha a+d=b+c.