In mathematics, in particular in topology, the de Groot dual (after Johannes de Groot) of a topology τ on a set X is the topology τ* whose closed sets are generated by compact saturated subsets of (X, τ).
This topology-related article is a stub. You can help Wikipedia by expanding it.