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, ÃÂ).