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