Every Metric space has a completion that is isometrically embedded in Idea of the proof: define equivalent classes if difference of two sequences become small (limit goes to 0)