\delta \colon X \times X \to \mathbb{R}