We typically refer to a matroid by listing its ground set and its family of independent sets: M = (V, I).
a set function f : 2 V → R is called submodular (Edmonds, 1970) if it satisfies the property of diminishing returns: the incremental "value" of v decreases as the context in which v is considered grows from X to Y .