Brettspiel/Gewinnstellung/Rekursive Definition/Aufgabe/Lösung

Wir definieren

${}G_{0}={\text{jede Mattstellung für }}A\,$

und rekursiv

${}G_{n}:={\left\{s\in S\mid {\text{ es gibt einen Zug für }}A{\text{ derart, dass für alle Züge von }}B{\text{ die entstehende Stellung zu }}G_{n-1}{\text{ gehört}}\right\}}\,.$

Eine Gewinnstellung ist dann

${}G=\bigcup _{n\in \mathbb {N} }G_{n}\,.$

Zur gelösten Aufgabe