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
Context
