Some branches of economics and game theory deal with indivisible goods, discrete items that can be traded only as a whole. For example, in combinatorial auctions there is a finite set of items, and every agent can buy a subset of the items, but an item cannot be divided among two or more agents. It is usually assumed that every agent assigns subjective utility to every subset of the items. This can be represented in one of two ways:
An ordinal utility preference relation, usually marked by ≻ {\displaystyle \succ } . The fact that an agent prefers a set A {\displaystyle A} to a set B {\displaystyle B} is written A ≻ B {\displaystyle A\succ B} . If the agent only weakly prefers A {\displaystyle A} (i.e. either prefers A {\displaystyle A} or is indifferent between A {\displaystyle A} and B {\displaystyle B} ) then this is written A ⪰ B {\displaystyle A\succeq B} . A cardinal utility function, usually denoted by u {\displaystyle u} . The utility an agent gets from a set A {\displaystyle A} is written u ( A ) {\displaystyle u(A)} . Cardinal utility functions are often normalized such that u ( ∅ ) = 0 {\displaystyle u(\emptyset )=0} , where ∅ {\displaystyle \emptyset } is the empty set. A cardinal utility function implies a preference relation: u ( A ) > u ( B ) {\displaystyle u(A)>u(B)} implies A ≻ B {\displaystyle A\succ B} and u ( A ) ≥ u ( B ) {\displaystyle u(A)\geq u(B)} implies A ⪰ B {\displaystyle A\succeq B} . Utility functions can have several properties.
Monotonicity Monotonicity means that an agent always (weakly) prefers to have extra items. Formally:
For a preference relation: A ⊇ B {\displaystyle A\supseteq B} implies A ⪰ B {\displaystyle A\succeq B} . For a utility function: A ⊇ B {\displaystyle A\supseteq B} implies u ( A ) ≥ u ( B ) {\displaystyle u(A)\geq u(B)} (i.e. u is a monotone function). Monotonicity is equivalent to the free disposal assumption: if an agent may always discard unwanted items, then extra items can never decrease the utility.
Additivity
Additivity (also called linearity or modularity) means that "the whole is equal to the sum of its parts." That is, the utility of a set of items is the sum of the utilities of each item separately. This property is relevant only for cardinal utility functions. It says that for every set A {\displaystyle A} of items,
u ( A ) = ∑ x ∈ A u ( x ) {\displaystyle u(A)=\sum _{x\in A}u({x})}
assuming that u ( ∅ ) = 0 {\displaystyle u(\emptyset )=0} . In other words, u {\displaystyle u} is an additive function. An equivalent definition is: for any sets of items A {\displaystyle A} and B {\displaystyle B} ,
u ( A ) + u ( B ) = u ( A ∪ B ) + u ( A ∩ B ) . {\displaystyle u(A)+u(B)=u(A\cup B)+u(A\cap B).}
An additive utility function is characteristic of independent goods. For example, an apple and a hat are considered independent: the utility a person receives from having an apple is the same whether or not he has a hat, and vice versa. A typical utility function for this case is given at the right.
Submodularity and supermodularity
Submodularity means that "the whole is not more than the sum of its parts (and may be less)." Formally, for all sets A {\displaystyle A} and B {\displaystyle B} ,
u ( A ) + u ( B ) ≥ u ( A ∪ B ) + u ( A ∩ B ) {\displaystyle u(A)+u(B)\geq u(A\cup B)+u(A\cap B)}
In other words, u {\displaystyle u} is a submodular set function. An equivalent property is diminishing marginal utility, which means that for any sets A {\displaystyle A} and B {\displaystyle B} with A ⊆ B {\displaystyle A\subseteq B} , and every x ∉ B {\displaystyle x\notin B} :
… excerpt ends here. Continue reading the full article.

