Now you are in the subtree of Misc public knowledge tree. 

Metrical space

A set $A$ with a function $\rho \colon A \times A \to \mathbb{R}$ is called metrical space, if the following conditions are satisfied:

  • TODO