Countably orthocompact space

From Topospaces
Jump to: navigation, search
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces

Definition

Symbol-free definition

A topological space is said to be countably orthocompact if every countable open cover of it has an interior-preserving open refinement.

Formalisms

Template:Refinement formal expression

A refinement formal expression for countable orthocompactness is:

Countable open \to Interior-preserving open

Relation with other properties

Stronger properties

Weaker properties