Definition:Antilexicographic Order on Family