Estructura ordenada de la colección de topologías filtrosas compactas

Dado un conjunto X con al menos dos elementos, se muestra que el conjunto de topologías filtrosas compactas sobre X es isomorfo al álgebra de Boole completa de las partes de X. El instrumento utilizado es el operados que a cada topología τ sobre X le asocia el conjunto de puntos cerrados del espacio  (X, τ).