環の完備化
本はありません。