Definition
A pseudometric space is said to be Heine-Borel-compact if every open cover has a finite subcover.
Remark
- See compact.
Reference
Horst Herrlich, Choice principles in elementary toplogy and analysis, Comment. Math. Univ. Carolinae 38,3(1997) 545-552.