Submodular set function
= Submodular set function
{title2=$f(A)+f(B)\geq f(A\cup B)+f(A\cap B)$}
{wiki}
A <set function> is submodular if $f(A)+f(B)\geq f(A\cup B)+f(A\cap B)$ for every pair of subsets. <Entropy submodularity> is a fundamental example.