Colexicographical order