Un subconjunto "F" de un espacio topológico ("X","T") es cerrado en "X" sii contiene a todos sus puntos límite, es decir, el límite de toda sucesión de puntos de "F" converge.