Lemma 5.27.1. Let $X$ be a topological space which

has a basis of the topology consisting of quasi-compact opens, and

has the property that the intersection of any two quasi-compact opens is quasi-compact.

Then

$X$ is locally quasi-compact,

a quasi-compact open $U \subset X$ is retrocompact,

any quasi-compact open $U \subset X$ has a cofinal system of open coverings $\mathcal{U} : U = \bigcup _{j\in J} U_ j$ with $J$ finite and all $U_ j$ and $U_ j \cap U_{j'}$ quasi-compact,

add more here.

## Comments (0)

There are also: