Talk:De Groot dual

Untitled

This article begins thus:

In mathematics, in particular in topology, the de Groot dual of a topology τ on a set X is

It does not yet say this:

In mathematics, in particular in topology, the de Groot dual of a topology τ on a set X, named after ?????? de Groot, is

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