Completeness (topology)

Summary