De hecho, dado un conjunto "X" y una colección F de subconjuntos de "X" que tiene estas propiedades, entonces F será la colección de los conjuntos cerrados para una topología única sobre "X".