VDict mobile



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