Sip \notin A,p \in-A; entonces, por la Definición 3 en §12, algunosG_{p} no logran cumplirA\left(G_{p} \cap A=\emptyset\right). De ahí que nop \in-A sea un punto de agrupación, o e...Sip \notin A,p \in-A; entonces, por la Definición 3 en §12, algunosG_{p} no logran cumplirA\left(G_{p} \cap A=\emptyset\right). De ahí que nop \in-A sea un punto de agrupación, o el límite de una secuencia\left\{x_{n}\right\} \subseteq A. (Esto contradiría las Definiciones 1 y 2 de §14.) En consecuencia, todos esos puntos y límites de clúster deben estar dentroA, como se reclama.
