User:Dfeuer/Definition:Lexicographic Ordering