コーシー列
任意のコーシー列が収束するとき、完備であると言う。