I will introduce the class of causally-null-compactifiable spacetimes that can be canonically converted into compact timed-metric spaces using the cosmological time function of Andersson-Galloway-Howard and the null distance of Sormani-Vega. This class of space-times includes future developments of compact initial data sets and regions exhausting asymptotically flat space-times. I will discuss various intrinsic notions of distance between such space-times and show that some of them are definite in the sense that they are equal to zero if and only if there is a time-oriented Lorentzian isometry between the space-times. These definite distances allow us to define notions of convergence of space-times to limit space-times that are not necessarily smooth. This is joint work with Christina Sormani.