Category:Heine-Borel Property of Topological Vector Spaces

This category contains results about Heine-Borel Property of Topological Vector Spaces.
Definitions specific to this category can be found in Definitions/Heine-Borel Property of Topological Vector Spaces.

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

We say that $\struct {X, \tau}$ has the Heine-Borel property if and only if:

every closed von Neumann-bounded subset of $X$ is compact.