距離空間あるいはその部分集合が全有界であるとは,任意に小さい有限個の円板で,その集合全体が覆えることを言います。 距離空間における全有界性に···