Sean formula_1 y formula_2 dos conjuntos, formula_58 una relación entre formula_1 y formula_2 que no sea una aplicación, y sea formula_63.