コーシー列
Since the definition of a Cauchy sequence only involves metric concepts, it is straightforward to generalize it to any metric space "X".