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

Wir definieren

$G_0=\text{jede Mattstellung für }A$

und rekursiv

$G_n:=\{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}\}.$

Eine Gewinnstellung ist dann

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

Zur gelösten Aufgabe