Generalised to arbitrary real-vector metric spaces.