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