This is an old revision of the document!

## Order-reflecting function

### Definition

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

### Discussion

#### Reference

Wikipedia: Monotone function