bei einem Spiel eine Funktion \({g}_{{\mathscr{S}}}\), die für einen Spieler \({\mathscr{S}}\) des (Zwei-Personen)- Spiels S × T eine partielle Ordnung ≼ auf den Paaren (x, y) ∈ S × T festlegt.

Spieler \({\mathscr{S}}\) bevorzugt dann (x₁, y₁) ∈ S × T gegenüber (x₂, y₂) ∈ S × T, falls \begin{eqnarray}g{\mathscr{S}}({x}_{1},{y}_{1})\succ g{\mathscr{S}}({x}_{2},{y}_{2})\end{eqnarray} ist

Jeder Spieler ist bemüht, seine Gewinnfunktion zu maximieren (wobei die Gewinnfunktion nicht zwingend eine totale Ordnung auf S × T erzeugen muß).