逆紧映射

逆紧映射（proper mapping）是1993年发布的数学名词。设X与Y为拓扑空间，映射f:X→Y为逆紧映射，若Y的紧集的原像为紧空间。