Dados y se dice que A R B ↔ Existe una aplicación biyectiva de sobre , es decir, existe biyectiva.