Definition (Convergence)
Let (X,T) be a topological space.
- A sequence {xj}j∈N converges to x∈X in the Topology T if, for each neighbourhood U of x, there exists N∈N such that xj∈U for each j≥N. If {xj}j∈N converges to x, we may write j→∞limxj=x.
- A sequence {xj}j∈N is convergent if it converges to some point in X.