1.
x est limite de (xn) si tout ouvert U contenant x contient presque tous les xn : ∀U∈τ,x∈U⇒∃N:∀n≥N,xn∈U.
2.
Dans la topologie discrète, {x} est ouvert. Si xn→x, alors presque tous les xn sont dans {x}, i.e. xn=x pour n assez grand : suite stationnaire.
3.
(E,{∅,E}) n'est pas séparé (sauf si ∣E∣=1) : si x=y, il n'existe pas d'ouverts disjoints contenant x et y.
4.
Les seuls ouverts sont ∅ et E. Tout ouvert contenant x contient tous les points, donc toute suite (xn) converge vers tout point x∈E. Chaque suite a exactement ∣E∣ limites.
5.
Si x et y sont deux limites de (xn) et (E,τ) est séparé (Hausdorff), il existe des ouverts disjoints U∋x et V∋y. Presque tous les xn sont dans U et dans V — contradiction. Donc x=y.
Dans un espace seˊpareˊ, la limite d’une suite est unique.