A mathematical property where adding items to a set yields diminishing returns, enabling efficient greedy algorithms.