import lexicographical order