完全有界集

（科学术语）

完全有界集是指距离空间中的一类子集。度量空间中的列紧集一定是完全有界的，而在完备度量空间中，完全有界性与列紧性等价。完全有界集是指距离空间中的一类子集。