集合と位相 - ness256 @ ウィキ

対角線論法

閉包

コーシー列

{a_n}がコーシー列である
⇔ 任意の正の数εに対してある数Mが存在して
　 M < m,nならば|a_m - a_n| < εが成立する。