E_8

Definition

• A topological space (X, τ) is called an E_8 space if X has a countable base V and the neighborhood system of each closed set has a base which is a subfamily of V.

Reference

• Aull, C. E., "Some base axioms for topology involving enumerability.", 1971 General Topology and its Relations to Modern Analysis and Algebra, III (Proc. Conf., Kanpur, 1968) pp. 55-61.