内ダメゲームの順序関係

したがって定義より


他方で

したがって


以上より