Cauchy sequence
実数の構成法の一つに、完備化と呼ばれる有理コーシー列から実数を定めるものがある。