colexicographic order