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
