Más formalmente, dado un espacio topológico ("X","T"), "F" es un conjunto cerrado en "X" si y sólo si "X\F" es un elemento de la topología "T", es decir, si "X\F" es abierto.