柯西序列
在有理数formula_2上引入绝对值度量，与此对应的柯西序列的等价类构成了完备数域formula_3。formula_1进数则是在formula_2上引入不同的度量后进行完备化得到的完备数域。