Ordered field/Complete/Definition

Completely ordered field

An ordered field ${}K$ is called complete or completely ordered, if every Cauchy sequence in ${}K$ converges.