compactness preserving

compactness preserving

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