Que se lee: la relación binaria formula_4 es el conjunto de pares ordenados formula_7 pertenecientes al producto cartesiano formula_12, y para los cuales se cumple la propiedad formula_13 que los relaciona.