In mathematics, a superadditive set function is a set function whose value when applied to the union of two disjoint sets is greater than or equal to the sum of values of the function applied to each of the sets separately. This definition is analogous to the notion of superadditivity for real-valued functions. It is contrasted to subadditive set function.

Let ${\displaystyle \Omega }$ be a set and ${\displaystyle f\colon 2^{\Omega }\rightarrow \mathbb {R} }$ be a set function, where ${\displaystyle 2^{\Omega }}$ denotes the power set of ${\displaystyle \Omega }$. The function f is superadditive if for any pair of disjoint subsets ${\displaystyle S,T}$ of ${\displaystyle \Omega }$, we have ${\displaystyle f(S)+f(T)\leq f(S\cup T)}$.^[1]

• Utility functions on indivisible goods