Talk:Lexicographic product