Dado el producto formula_51 de pares ordenados (x, y), donde x, y pertenecen a A, la relación binaria será el subconjunto de formula_51 que contiene todos los pares de elementos relacionados.