Ага. Эта

называется характеристической функцией игры, она определена на подмножествах множества

. Для простой игры характеристическая функция имеет право принимать только два значения: 0 и 1.
А такого пира духа, как эта формула (6.2.6), я давно не видал.