Definição$^{(1)}$: Seja $X$ o conjunto de números reais e seja $A_{n}$ = {$\frac{1}{n} : n=1,2,3,\ldots, n \in \mathbb{N}$}. Definimos uma topologia $\tau$ em X, onde $ 0 \in \tau$ se $0 = U-B$, onde $B ⊂ A$ e $U$ é um conjunto aberto na topologia euclidiana em $\mathbb{R}$. A topologia $\tau$ é chamada de topologia Smirnov em X.
Axiomas de Separação
Axiomas de Enumerabilidade
Outras propriedades
(1) Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology. Springer-Verlag, New York, pg.86, 1978. Reprinted by Dover Publications, New York, 1995.