column value
英文名稱 completion of metric space
中文名稱 賦距空間的完備化