Let $$X$$ be a topological space, let $$(x_n)$$ be a sequence in $$X$$ and let $$x_0 \in X$$. Then $$(x_n)$$ converges to $$x_0$$ iff [for every something there is something that something].