Maxima_of_a_point_set