User:Dfeuer/Definition:Lexicographic Order