Lexicographic Ordering
Supposeandare well ordered sets. The lexicographic ordering ofis defined as
orandwhereandThe setis well ordered if bothandare well ordered.
We can extend this to a Cartesian product ofwell ordered setsby writing
and
andand
andandand
where