Other equivalent characterizations of global hyperbolicity make use of the notion of Lorentzian distance d ( p , q ) := sup γ γ l ( γ γ ) where the supremum is taken over all the C 1 causal curves connecting the points (by convention d=0 if there is no such curve). They are