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.
New to topics? Read the docs here!