MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
22 bytes removed
, 20:30, 16 April 2009
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>, <<sub>1</sub>) → (''X''<sub>2</sub>, <<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>, <<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'' <<sub>1</sub> ''y'' ⇒ ''Fx'' <<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'', <<sub>1</sub>) → ('''R''', <<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'', <<sub>1</sub>) → ('''R''', <<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: |