Definition:Lexicographic Order on Family