 More formally, as before if denotes the set of all options , and we have the payoff function which gives the payoff enjoyed by the agent for each option.Suppose we define the optimum payoff the solution to

with the optimum actions being the set ' of options such that (i.e.it is the set of all options that yield the maximum payoff).