# nLab sequentially Cauchy-complete space

Contents

### Context

#### Constructivism, Realizability, Computability

intuitionistic mathematics

# 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.