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

Function

Context

Non-strict partial order