劣モジュラ関数
任意の S ⊆ Ω {\displaystyle S\subseteq \Omega } に対して、 f ( S ) = I ( S ; Ω − S ) {\displaystyle f(S)=I(S;\Omega -S)} ( I ( S ; Ω ) {\displaystyle I(S;\Omega )} は相互情報量) となる関数。
台集合 Ω の冪集合 2 上の関数 f: 2 → R で 次を満たす関数を劣モジュラ関数と呼ぶ。