On Fréchet-Urysohn expansions (Q2785265)

Let \((X,{\mathcal T}_c)\) be a topological space. For a subset \(A\) of \(X\), let \(c(A)\) be the closure of \(A\) and let \([A]_{\text{seq}}\) be the sequential closure of \(A\), i.e., the set of all limits of sequences ranging in \(A\) (it need not be sequentially closed). If \(\mathcal T\) is a topology for \(X\), \({\mathcal T}_c\subseteq {\mathcal T}\) and \((X,{\mathcal T})\) is Fréchet-Urysohn, then \((X,{\mathcal T})\) is said to be a Fréchet-Urysohn extension of \((X,{\mathcal T}_c)\). A typical result: (Theorem 2) If \((X,{\mathcal T}_c)\) is a countably Fréchet-Urysohn space, then \([.]_{\text{seq}}\) is a topological closure, \((X,{\mathcal T}_{[.]\text{sec}})\) is a Fréchet-Urysohn extension of \((X,{\mathcal T}_c)\) and the two spaces have the same sequential convergence.