Nondecreasing function ($x\le y⟹f(x)\le f(y)$)

A nondecreasing function never decreases when its argument increases. Flat intervals are allowed, unlike for a strictly increasing function. Nondecreasing allocation functions permit critical-value payments in single-parameter mechanisms.