Dominierte Optionen weglassen

• wenn G = (G^L, G^R) mit g₁, g₂∈G^L mit g₁≥g₂,

  (die Option g₁ dominiert die Option g₂),

  dann G $\approx$ G' = (G^L $\setminus$ {g₂}, G^R)     (g₂ weg, g₁ bleibt)

• Bsp: G = {0, 1 | } mit g₁ = 1 > 0 = g₂, also G' = {1 | }.
• Beweis: g₂≤g₁$\triangleleft$ G', also g₂$\triangleleft$ G', g₂ unnütz für G'

• Implementierung (Ansatz): smart constructor (game)

  data Game = Game (S.Set Game) (S.Set Game)
  game :: [Game] -> [Game] -> Game
  game xs ys = Game (maxima xs) (minima ys)
  minima = negate . maxima . map negate