Cauchy sequence
此外，完備化也可以用柯西序列構造，得到的對象是自然同構的。