が連続体濃度(いま仮定によりそれはである)を持てば、その完備化は濃度でを稠密部分体として含む。