User:Dfeuer/Definition:Lexicographic Ordering of Finite Sequences