R can then be completed with respect to this topology.
这样 R 关于这个拓扑可以完备化。