compact closure compact interior
inductively compact-covering and weakly compact ma
inductively compact-covering and weakly compact mappings
meta compact locally compact space
consistent Lawson topology
Woodward-Lawson algorithm
[non-linear] compact operator