Use lexicographic ordering if no explicit one is given.