Una relación formula_1, de los conjuntos formula_2 es un subconjunto del producto cartesiano