Cauchy sequence
空間の完備性は、部分和の列（これがコーシー列となることは容易）が収斂することを保証するために必要である。