完備距離空間
任意の距離空間 M に対して、M を稠密部分空間として含む完備距離空間 M′(あるいは M とも書く)を構成することができる。この完備距離空間は、