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

Context

Refinement of

Requirements

Link to graph
Log In
Improvements of the human condition