complete metric space

C3751 concept

A complete metric space is a metric space in which every Cauchy sequence converges to a limit that lies within the space.

Observed surface forms (1)

  • Banach space family ×1

Instances (2)