- Toads and Frogs: UN, CR,...der Relationen
- →FM Frosch schieben, →FJ Frosch springen
-
→R = →FM∪→FJ Optionen für Spieler R
-
→ = →R∪→L
- entsprechend für Hackenbush (ohne/mit grün)
- Vereinfachung von Spielen: Eigenschaften der Relationen
- →DL dominierte Option entfernen für L,
-
→D = →DL∪→DR
- →VL reversible Option überspringen für L,
-
→V = →VL∪→VR,
→ = →D∪→V
