Bei einem Zwei-Personen-Regel-Spiel (wie Schach) spielen zwei Personen (${\displaystyle {}A}$ und ${\displaystyle {}B}$) nach gewissen Regeln gegeneinander. Die Personen ziehen abwechselnd. Es ist klar, was eine Mattgewinnstellung für ${\displaystyle {}A}$ ist, da ist ${\displaystyle {}A}$ am Zug und kann ${\displaystyle {}B}$ schlagen und das Spiel ist beendet. Definiere rekursiv, was innerhalb der Menge ${\displaystyle {}S}$ aller Stellungen eine Gewinnstellung für ${\displaystyle {}A}$ (mit ${\displaystyle {}A}$ am Zug)