monotonically_decreasing_function

Monotonically decreasing function

Function

context	$ X,Y $
context	$ \le_X,\le_Y $ … non-strict partial order

definiendum

$ f\in\mathrm{it} $

inclusion

$f:X\to Y$

for all

$x,y\in X$

postulate

$ x\ge_X y \implies f(x)\ge_Y f(y) $

Discussion

Parents

Subset of

Context

Non-strict partial order