Ordered field/Complete/Definition

< Ordered field < Complete
Completely ordered field

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