compactness preserving

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

Last updated: 1995-01-13


Loading