Changes

{| align="center" cellspacing="6" width="90%"

{| align="center" cellspacing="6" width="90%"

| <math>x <_1 y ~\Rightarrow F(x) <_2 F(y).</math>

| <math>x <_1 y ~\Rightarrow~ F(x) <_2 F(y).</math>

|}

|}

The action of the "number of" map ''v'' : (''S'', &lt;₁) &rarr; ('''R''', &lt;₂) has just this character, as exemplified by its application to the case where ''x'' = ''f'' = "frenchman" and ''y'' = ''m'' = "man", like so:

The "number of" map <math>v : (S, <_1) \to (\mathbb{R}, <_2)</math> has just this character, as exemplified by its application to the following case:

: ''f'' < ''m'' &rArr; [''f''] < [''m'']

: ''f'' < ''m'' &rArr; [''f''] < [''m'']