Lexicographic ordering
From AoPSWiki
Lexicographic (or dictionary ordering) is a strict total ordering 
on the 
-tuple 
of totally ordered sets for some ordinal using the strict total orderings 
of 
.
Formal Definition
For 
, letting 
and 
denote the 
components of 
and 
respectively, we say 
iff 
.
