# Submodular function

### From Glossary

Let be a finite set and let be a function on the subsets of into . Then, is *submodular* if it satisfies:

Example:
(binary n-vectors) and
Instance:
Then,
(The linearity of Sum makes the inequality hold with inequality.)