A space X is D if for every assignment, U, of an open neighborhood to each point x in there a closed discrete such that ⋃{U(x):x∈D}=X. The box product, □Xω, Xω with topology generated by all ∏nUn, where Un open. nabla ∇Xω, obtained from □Xω quotienting out mod-finite. weight X, w(X), the minimal size base, while d=cofωω. It shown are specific compact spaces and ∇Xω not D, but general: (1) hered...
