En topología, un conjunto perfecto es un subconjunto cerrado tal que todos sus puntos son puntos de acumulación (es decir, el conjunto carece de puntos aislados).
Nótese que un conjunto S de un espacio topológico es cerrado cuando
contiene todos sus puntos de acumulación.
Dos conjuntos S y T están separados cuando son disjuntos y cuando los conjuntos derivados, formados por sus puntos de acumulación, también son disjuntos.
Esto equivale a la definición original, un conjunto es perfecto si es un conjunto cerrado sin puntos aislados.