De Groot dualIn 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.