完備化
en:
completion
ただし
数学用語
定義
完備
でない空間を
完備
にする操作
完備化された
距離空間
は
完備距離空間
と呼ぶ。
aka.
コーシー空間
とも
順序集合論
順序完備化
こっちは距離じゃない。
ref.
https://en.wikipedia.org/wiki/Complete_metric_space#Completion
https://ja.wikipedia.org/wiki/完備距離空間#完備化