Convex set

A set is convex if the line segment between any two points in lies in , i.e for any and any , we have

In other words: It is closed under convex combination of its points.

The intersecttion of two convex sets is a convex set


Proof: Let be convex sets, and their intersection be .
if , then and .
Both are convex, thus

for all for all