Closed convex cone (source code)

= Closed convex cone

A <convex cone> that is a <closed set> in its ambient topology. In a finite-dimensional <normed vector space>, this means it contains every limit of its convergent sequences. For example, the <positive semidefinite cone> is closed because each test $X\mapsto x^TXx$ is continuous.