「《実数の集合》の閉包」の定義

「《実数の集合》の閉包」の定義を更新。