Order Theory/Lexicographic order