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