コーシー列
A metric space ("X", "d") in which every Cauchy sequence converges to an element of "X" is called complete.