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