# Differences

This shows you the differences between two versions of the page.

 monotonically_decreasing_function [2014/02/17 20:33]nikolaj created monotonically_decreasing_function [2014/03/21 11:11] (current) 2014/02/17 20:33 nikolaj 2014/02/17 20:33 nikolaj created Next revision Previous revision 2014/02/17 20:33 nikolaj 2014/02/17 20:33 nikolaj created Line 1: Line 1: ===== Monotonically decreasing function ===== ===== Monotonically decreasing function ===== ==== Function ==== ==== Function ==== - | @#88DDEE: $X,Y$ | + | @#55CCEE: context ​    | @#55CCEE: $X,Y$ | - | @#88DDEE: $\le_X,\le_Y$ ... non-strict partial order | + | @#55CCEE: context ​    | @#55CCEE: $\le_X,\le_Y$ ... non-strict partial order | - | @#FFBB00: $f\in\mathrm{it}$ | + | @#FFBB00: definiendum ​| @#FFBB00: $f\in\mathrm{it}$ | - | @#AAFFAA: $f:X\to Y$ | + | @#AAFFAA: inclusion ​  | @#AAFFAA: $f:X\to Y$ | - | @#FFFDDD: $x,y\in X$ | + | @#FFFDDD: for all     | @#FFFDDD: $x,y\in X$ | - | @#55EE55: $x\ge_X y \implies f(x)\ge_Y f(y)$ | + | @#55EE55: postulate ​  | @#55EE55: $x\ge_X y \implies f(x)\ge_Y f(y)$ | ==== Discussion ==== ==== Discussion ==== Line 18: Line 18: === Context === === Context === [[Non-strict partial order]] [[Non-strict partial order]] - === Related === - [[Monotonically increasing function]] 