（转）Submodual

子模态定义子模态是集合函数的一种性质。一个集合函数$f(x)$的定义要满足下面这个性质 f:2^\Omega \to \mathbb R \tag {1}即$f(x)$的定义域为集合$\Omega$的任何一个子集，值域为实数集。而这个集合函数如果要满足子模态性质的话，还需要满足下面三个等价条件中的任何一个。对于任何一个$X,Y\subset\Omega$且$X\subset Y$，以及对任何一