completeness

Completeness in metric space