Wir definieren

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

und rekursiv

${\displaystyle {}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

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