In mechanism design, monotonicity is a property of a social choice function. It is a necessary condition for being able to implement the function using a strategyproof mechanism. Its verbal description is:
In other words:
There is a set of possible outcomes.
There are agents which have different valuations for each outcome. The valuation of agent is represented as a function:
which expresses the value it assigns to each alternative.
The vector of all value-functions is denoted by .