User:Gabelaia/De Groot dual

In mathematics, in particular in topology, the de Groot dual of a topology &tau; on a set X is the topology &tau;* whose closed sets are generated by compact saturated subsets of (X, &tau;).