“…Their notion of causal space lays at the foundations of the theory of Lorentzian pre-length spaces first introduced by Kunzinger and Sämman [28]. The purpose of this work is to present the future (or past) causal completion of a globally hyperbolic spacetime as a Lorentzian pre-length space, thus adding an interesting source of examples to this rapidly growing field [21,11,8,9,6,22,29].…”