Definition:Lexicographic Ordering