compactness preserving

compactness preserving

In domain theory, a function f is compactness preserving iff c is compact whenever c is.