there exists a nonempty set I and quasi-compact opens U_ i \subset X, i \in I such that W = \bigcap U_ i and for all i, j \in I there exists a k \in I with U_ k \subset U_ i \cap U_ j.
there exists a nonempty set I and quasi-compact opens U_ i \subset X, i \in I such that W = \bigcap U_ i and for all i, j \in I there exists a k \in I with U_ k \subset U_ i \cap U_ j.
Comments (0)