Referenced by:

• closures-and-completions
• epsilon-ball
• topology-bounded
• topology-converges-uniformly
• topology-uniform-metric
• topology-uniformly-continuous