 Hilbert space completion

The Hilbert space completion of an inner-product space $V$ is a Hilbert space containing an isometric dense copy of $V$. It can be constructed from Cauchy sequences in $V$, identifying two sequences when the norm of their difference tends to zero.