Sea f: "A" → "B", diremos que f está definida para un elemento formula_1 si existe un par formula_2.