Definition (convex set)
A set is said to be convex if whenever ( ) and ( ) belong to , all points on the line segment with in the interval , belong to the set as well.
>