Dados dos conjuntos formula_1 y formula_2, una aplicación de formula_1 en formula_2 es un formula_126 (es decir, una relación) de manera que se cumplan las siguientes dos condiciones: