So again, we’re back to completions, though we’re going to go through it quickly. Except this time we have a field with an absolute value like the rationals with the usual absolute value.

**Completions **

Definition 1The(more…)completionof is defined as the set of equivalence classes of Cauchy sequences: