Si la condición anterior se satisface para formula_3, entonces la aplicación se denomina, "no-expansiva".