Talk:De Groot dual

Untitled
This article begins thus:
 * In mathematics, in particular in topology, the de Groot dual of a topology &tau; on a set X is

It does not yet say this:
 * In mathematics, in particular in topology, the de Groot dual of a topology &tau; on a set X, named after ?????? de Groot, is

Could someone supply that information? Michael Hardy (talk) 05:00, 18 March 2010 (UTC)