La aplicación formula_6 se suele denominar función de elección.