Complete metric space

From Topospaces
Jump to: navigation, search

This article defines a property that can be evaluated for a metric space

Definition

A complete metric space is a metric space in which every Cauchy sequence is convergent.

Relation with other properties

Stronger properties