mathematics, in the field of general topology, a topological space is said to be orthocompact if every open cover has an interior-preserving open refinement...

{\displaystyle K} is complete. Compact space Locally compact space Measure of non-compactness Orthocompact space Paracompact space Relatively compact subspace Sutherland...

generated space Compactness theorem Eberlein compactum Exhaustion by compact sets Lindelöf space Metacompact space Noetherian topological space Orthocompact space...

483-496, 1966. [2] Compact space Paracompact space Normal space Realcompact space Metacompact space Orthocompact space Tychonoff space Engelking, Ryszard (1968)...

countable open covers. Every paracompact space is metacompact, and every metacompact space is orthocompact. Given a cover and a point, the star of the...

metacompact space is orthocompact. Every metacompact normal space is a shrinking space The product of a compact space and a metacompact space is metacompact...

is automatically compact-finite. Every mesocompact space is metacompact, and hence also orthocompact. This follows from the fact that points are compact...

metric spaces, one defines an open ball as above, and says that "strict inequality is an open condition". Orthocompact A space is orthocompact, if every...