Urutan Leksikografis

Suppose
is an n-tuple of sets, with respective total orderings