Metric topology (source code)

= Metric topology

The metric topology consists of the sets $U$ such that every $x\in U$ contains some open ball $B(x,r)$ lying in $U$.