Topology

A metric space is a set $X$ together with a function $$ \operatorname{dist}: X \times X \to \R $$ called a metric such that the following laws are satisfied: • (Positivity) $\operatorname{dist}(x,y) \ge…