Completion (mathematics)/Definition

A complete metric space in which a given metric space is isometrically embedded as a dense subspace.