Lexicographic product