Past exam of the mathematics course of the University of Cambridge / 2010 / iii / Paper 9 / 4 / ii / Solution

For $n\ge 1$, let $C_n=\{Z\in X:n\notin Z\}$. The presence or absence of $n$ is determined by a sufficiently long finite initial segment, so $C_n$ and its complement are open sets in the ordinary topology on infinite subsets. The Ellentuck topology is finer, hence each $C_n$ is star-clopen and in particular star-closed. Their union isEvery basic star-neighborhood $[s,A]$ of $\mathbb{N}$ has $s=\{1,\dots ,k\}$ for some $k\ge 0$, and its reservoir $A$ contains every integer greater than $k$. Choosing $n>k$ gives $\mathbb{N}\setminus \{n\}\in [s,A]\cap C_n$. Thus $\mathbb{N}$ is in the star-closure of the union, but not in the union itself. Therefore