Inflationary map (source code)

= Inflationary map
{title2=$x\le f(x)$}

= Inflationary
{synonym}

An inflationary map on a <partially ordered set> satisfies $x\le f(x)$ for every $x$. This condition is distinct from being <order-preserving>.