Closed convex set
= Closed convex set
A <convex set> that is also a <closed subset> in the specified topology. In a <Hilbert space> with its <norm topology>, every nonempty closed convex set has a unique nearest point to every ambient <vector>, by the <Hilbert projection theorem>.