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...

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

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

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

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

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

and orthocompact: if every open cover has an interior-preserving open refinement. For some more variations see the above articles. A topological space X...

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...

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