完備化 (環論)
抽象代数学において、完備化（かんびか、）とは、環や加群上の関手であって、完備な位相環や加群になるような任意のものである。完備化は局所化と類似しており、これらは可換環を解析する最も基本的な手法である。完備可換環は一般の環よりも単純な構造をもっており、ヘンゼルの補題が適用される。
また特に環Rが非アルキメデス距離について距離空間であるときは、距離空間としての完備化と環としての完備化は一致する。