Principle of lexicographic induction

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.