Complete metric space (source code)

= Complete metric space
{wiki}

A metric space is complete when every Cauchy sequence converges to a point of the space.