Estas dos condiciones implican que, para cada elemento formula_7 de formula_8, la aplicación