De Groot dual


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