is there any type of metric space that semvers can be mapped to? i feel like there has to be a triangle inequality but it feels tricky