complete valued field
C41931
concept
A complete valued field is a field equipped with an absolute value (or valuation) such that every Cauchy sequence with respect to the induced metric converges within the field.