全连续映射

全连续映射是映有界集为相对紧集的连续映射，紧连续映射必为全连续映射。