Solution (source code)

= Solution

A <metric space> is <complete metric space>[complete] if \b[every <Cauchy sequence> in it converges to a point of that same space]. A limit in a larger ambient completion is insufficient for this definition.