Specifically, let |S| denote the vocabulary size of a set of documents S, and let S ⊆ S. Then for any document c the following inequality holds.
adding a document c to the subset S increases vocabulary size at least as much as adding c to S; the vocabulary size function is submodular.