# Differences

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

 order-reflecting_function [2013/09/04 17:28]nikolaj order-reflecting_function [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/04 17:28 nikolaj 2013/09/04 17:28 nikolaj 2013/09/04 17:20 nikolaj 2013/09/04 17:20 nikolaj 2013/09/04 17:17 nikolaj 2013/05/26 21:23 ben 2013/05/23 22:25 nikolaj 2013/05/23 22:25 nikolaj 2013/05/23 22:24 nikolaj created Next revision Previous revision 2013/09/04 17:28 nikolaj 2013/09/04 17:28 nikolaj 2013/09/04 17:20 nikolaj 2013/09/04 17:20 nikolaj 2013/09/04 17:17 nikolaj 2013/05/26 21:23 ben 2013/05/23 22:25 nikolaj 2013/05/23 22:25 nikolaj 2013/05/23 22:24 nikolaj created Line 1: Line 1: ===== Order-reflecting function ===== ===== Order-reflecting function ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $X,Y$ | + | @#55CCEE: context ​    | @#55CCEE: $X,Y$ | - | @#88DDEE: $\le_X,\le_Y$ | @#88DDEE: ...non-strict partial order | + | @#55CCEE: context ​    | @#55CCEE: $\le_X,\le_Y$ | @#55CCEE: context ​    | @#55CCEE: ...non-strict partial order | - | @#FFBB00: $f\in\mathrm{it}$ | + | @#FFBB00: definiendum ​| @#FFBB00: $f\in\mathrm{it}$ | | $f:X\to Y$ | | $f:X\to Y$ | | $x,y\in X$ | | $x,y\in X$ | - | @#55EE55: $f(x)\le_Y f(y)\implies x\le_X y$ | + | @#55EE55: postulate ​  | @#55EE55: $f(x)\le_Y f(y)\implies x\le_X y$ | ==== Discussion ==== ==== Discussion ==== === Reference === === Reference === Wikipedia: [[http://​en.wikipedia.org/​wiki/​Monotone_function|Monotone function]] Wikipedia: [[http://​en.wikipedia.org/​wiki/​Monotone_function|Monotone function]] - ==== Context ​==== + ==== Parents ​==== === Refinement of === === Refinement of === [[Function]] [[Function]] - === Parents ​=== + === Context ​=== [[Non-strict partial order]] [[Non-strict partial order]]