Submodular functions are set functions F : denotes the power set of ground set V. Submodular functions satisfy the following equivalent properties of diminishing returns: ∀X, Y ⊆ V with X ⊆ Y , and ∀s ∈ V \ Y , we have the following.
the value addition due to incorporation of s decreases as the subset grows from X to Y .