柯西序列
对"M"中的任意两个柯西序列"x="("x""n")和"y="("y""n")，我们可以定义它们间的距离：