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
A set $A$ with a function $\rho \colon A \times A \to \mathbb{R}$ is called metrical space, if the following conditions are satisfied: