Contents

Contents

Definition

Let $S$ be a Cauchy space (such as a uniform space or a metric space). $S$ is sequentially Cauchy-complete if every Cauchy sequence in $S$ converges.