Order-reflecting function

Set

context $X,Y$
context $ \le_X,\le_Y $ context …non-strict partial order
definiendum $ f\in\mathrm{it} $
$f:X\to Y$
$x,y\in X$
postulate $ f(x)\le_Y f(y)\implies x\le_X y $

Discussion

Reference

Wikipedia: Monotone function

Parents

Refinement of

Function

Context

Non-strict partial order