集压缩映射是在集合的非紧性测度意义下压缩的映射。（严格）集压缩映射必是凝聚的。