See Convex set

Smallest convex set that contains all points of a set. Unique because of the property that intersection preserves convexity (if non-unique could always take intersection giving smallest set -> contradiction).

Convex hull of a convex set is the convex set itself

Convex hull of a (finite) set of points is a Polytope