Lexicographic ranking function is a ranking function into ordinals.
It can also be seen as multiple ranking functions and a lexicographic order over them.
lexicographic ranking function can be constructed iteratively as well, adding component one by one, see 2013 Ramsey vs. Lexicographic Termination Proving.