"Ind- and pro- definable sets."

Moshe Kamensky (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics