この時、任意のS\\subseteq\\Omegaに対して、H(S)が確率変数集合Sのエントロピーを返すような劣モジュラ関数が存在する.
が存在する