Countable unions of Ellentuck clopen sets need not be closed
ID: countable-unions-of-ellentuck-clopen-sets-need-not-be-closed
In the space of infinite subsets of the natural numbers, the families are clopen sets in the ordinary topology on infinite subsets and thus in the finer Ellentuck topology. Their union is . Every basic Ellentuck topology neighborhood of contains for some sufficiently large , so this union is not a closed set.
New to topics? Read the docs here!