Lexicographic Order on Cartesian Product