colexicographical order