函数的子模性质

定义：

对于所有的A⊆B⊆V和s∈V\B，如果存在f(A∪{s})−f(A)≥f(B∪{s})−f(B)，则称集函数f:2v→R

为子模性函数。 

例：

V={1,2,3,4,5,6,7,8}

A={1,2,3}

B={1,2,3,5,6}

e={3,4,5}

f(A)=|A| （表示集合A的个数）

所以：f(A+e)-f(A)>=f(B+e)-f(B)