Gry mogą występować w wersji strategicznej i ekstensywnej.
Skończoną grę strategiczną od strony formalnej można zdefiniować:
> zbiór graczy: / = (1.....N),
> zbiór działań (posunięć): A {At.....A*}, gdzie każdy element A, {a.....a,k) jest zbiorem posunięć dostępnych dla
i-tego gracza. Każdy gracz ma potencjalnie inny ich zbiór, stąd liczba dostępnych działań, k, w ogólnym przypadku jest różna względem i,
> zbiór funkcji wypłat: f] ftfj. .... Xs), gdzie każdy element 71, przyporządkowuje wartość liczbową wynikowi gry.
Jeśli wynik gry oznacza działania podjęte przez graczy: a = (oi.....as). Element tego zbioru (profilu), a, e A,, oznacza
konkretne dokonane posunięcie (decyzję) gracza i.
Strategia dominująca to najlepsza możliwa reakcja na dowolną strategię zastosowaną przez konkurenta. Jej logika nieuchronnie prowadzi do pogorszenia wyniku, gdy gra ma charakter niekooperacyjny.
Przeciwieństwem strategii dominującej jest strategia zdominowana, która występuje, kiedy gracz posiada strategię dającą mu wyższą wypłatę bez względu na to, jak zagra konkurent.
2