Topologischer Raum/Folge/Häufungspunkt/Definition

Es sei ${\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }}$ eine Folge in einem topologischen Raum ${\displaystyle {}X}$. Ein Punkt ${\displaystyle {}x\in X}$ heißt Häufungspunkt der Folge, wenn in jeder offenen Umgebung ${\displaystyle {}U}$ von ${\displaystyle {}x}$ unendlich viele Folgenglieder ${\displaystyle {}x_{n}}$ liegen.