Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
monotonically_decreasing_function [2014/02/17 20:33] nikolaj created |
monotonically_decreasing_function [2014/03/21 11:11] (current) |
||
---|---|---|---|
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]] |