# Definition:Complete Metric Space

## Definition

### Definition 1

A metric space $M = \struct {A, d}$ is complete if and only if every Cauchy sequence is convergent.

### Definition 2

A metric space $M = \struct {A, d}$ is complete if and only if the intersection of every nested sequence of closed balls whose radii tend to zero is non-empty.

## Also known as

A complete metric space is also known as a complete space.

## Also see

• Results about complete metric spaces can be found here.