If a implies b (or if b can be derived from a), then the Clock Condition of event a should should be lt || gt, depending on your point of view, of event b.

This means prior to assessing the distance between points, we must distinguish them- this insight helps understand how different topologically equivalent sections of space, can have different Riemannian geometry.