Definitions: A subset Z of a topological space X is called retrocompact if Z\cap U is compact for every compact open subset U\subset X. A subset of X is constructible if it is a finite union of subsets of the form U\cap (X - V) where both U and V are open and retrocompact subsets of X.
