Sip∉A,p∈−A; entonces, por la Definición 3 en §12, algunosGp no logran cumplirA(Gp∩A=∅). De ahí que nop∈−A sea un punto de agrupación, o e...Sip∉A,p∈−A; entonces, por la Definición 3 en §12, algunosGp no logran cumplirA(Gp∩A=∅). De ahí que nop∈−A sea un punto de agrupación, o el límite de una secuencia{xn}⊆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.
