基本領域

http://tsujimotter.hatenablog.com/entry/fundamental-domain-game
の生成元SとTはsemigroupの意味で生成しているようだ。