Lexicographic ordering
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
.