Changes

MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to search
Line 4,575: Line 4,575:  
An order relation is typically defined by a set of axioms that determines its properties.  Since we have frequent occasion to view the same set in the light of several different order relations, we often resort to explicit specifications like <math>(X, <_1),\!</math> <math>(X, <_2),\!</math> and so on, to indicate a set with a given ordering.
 
An order relation is typically defined by a set of axioms that determines its properties.  Since we have frequent occasion to view the same set in the light of several different order relations, we often resort to explicit specifications like <math>(X, <_1),\!</math> <math>(X, <_2),\!</math> and so on, to indicate a set with a given ordering.
   −
A map ''F'' : (''X''<sub>1</sub>,&nbsp;&lt;<sub>1</sub>) &rarr; (''X''<sub>2</sub>,&nbsp;&lt;<sub>2</sub>) is ''order-preserving'' if and only if a statement of a particular form holds for all ''x'' and ''y'' in (''X''<sub>1</sub>,&nbsp;&lt;<sub>1</sub>), specifically, this:
+
A map <math>F : (X_1, <_1) \to (X_2, <_2)</math> is ''order-preserving'' if and only if a statement of a particular form holds for all <math>x\!</math> and <math>y\!</math> in <math>(X_1, <_1),\!</math> specifically, this:
   −
: ''x'' &lt;<sub>1</sub> ''y'' &rArr; ''Fx'' &lt;<sub>2</sub> ''Fy''
+
{| align="center" cellspacing="6" width="90%"
 +
| <math>x <_1 y ~\Rightarrow F(x) <_2 F(y).</math>
 +
|}
    
The action of the "number of" map ''v'' : (''S'', &lt;<sub>1</sub>) &rarr; ('''R''', &lt;<sub>2</sub>) has just this character, as exemplified by its application to the case where ''x'' = ''f'' = "frenchman" and ''y'' = ''m'' = "man", like so:
 
The action of the "number of" map ''v'' : (''S'', &lt;<sub>1</sub>) &rarr; ('''R''', &lt;<sub>2</sub>) has just this character, as exemplified by its application to the case where ''x'' = ''f'' = "frenchman" and ''y'' = ''m'' = "man", like so:
12,080

edits

Navigation menu