What does the principle of lexicographic induction state?

A proof technique using lexicographic order on tuples of measures, allowing induction where each recursive step decreases the tuple lexicographically - any component may increase if an earlier component strictly decreases.