Order-preserving function (source code)

= Order-preserving function
{wiki}

= Order-preserving
{synonym}

An order-preserving function $f:P\to Q$ between <partially ordered sets> satisfies $x\leq y\Rightarrow f(x)\leq f(y)$.