Go backward to Total OrderGo up to TopGo forward to Example |

The *lexicographic order* on **N** x **N** is a total order:

x<=y: <=>x_{0}<y_{0}\/ (x_{0}=y_{0}/\x_{1}<=y_{1})

<0, 0> <<0, 1><<0, 2><...<<1, 0><<1, 1><<1, 2><...

*Comparison first by first component, then by second component.*

Author: Wolfgang Schreiner

Last Modification: January 18, 2000