Sea formula_1 un conjunto de alternativas posibles, mutuamente excluyentes, entre las que debe elegir un agente.