- Spiel G: gerichteter Graph auf Konfigurationen
- Kanten sind gefärbt, Farbe zeigt an,
welcher Spieler (L oder R) den Zug ausführen darf.
- wir vergessen die Identität der Knoten
und betrachten nur noch ihre Nachfolgermengen,
erhalten Definition
ein Spiel ist ein Paar von Mengen von Spielen.
- Bsp: das einfachste Spiel ist
(∅,∅),
wir nennen das 0, weitere Spiele:
1 : = ({0},∅),
* = ({0},{0}),
({0},{0, 1}),
- Bezeichnungen:
G = (GL, GR)
GL : die Optionen (Nachfolger) von G für L,
GR : die Optionen (Nachfolger) von G für R,
- Abkürzung:
({0},{0, 1}) als
{0 | 0, 1}