Metrischer Raum/Abgeschlossen/Charakterisierung mit konvergenten Folgen/Fakt

Es sei ein metrischer Raum und eine Teilmenge.

Dann ist genau dann abgeschlossen, wenn jede Folge , die in konvergiert, bereits in konvergiert.