Definition:Heine-Borel Property of Topological Vector Space

Definition
Let $\struct {X, \tau}$ be a topological vector space.

We say that $\struct {X, \tau}$ has the Heine-Borel property :
 * every closed von Neumann-bounded subset of $X$ is compact.