Una relación formula_4 de formula_2 en formula_3 se puede representar mediante pares ordenados formula_7 para los cuales se cumple una propiedad formula_8, de forma que formula_9, y se anota: