Словник

全有界空間は（有限個の有界集合の合併は有界なので）有界である。しかしその逆は一般には成り立たない。例えば、離散距離を備える無限集合は有界であるが、全有界ではない。 M をユークリッド空間とし、d をユークリッド距離とするとき、（部分空間位相を伴う）部分集合が全有界であるための必要十分条件は、それが有界であることである。