コーシー列

定義
コーシー列とは，\[m，n \rightarrow \infty \] のとき，\[|a_{m}-a_{n}| \rightarrow 0\]となる点列 \[\{a_{n}\}； (a_{n} \in X)\]のこと。