Assumption: Lorentzian realization

A chronology $(E,\ll )$ has a Lorentzian realization if a bijection $\iota :E\to M$ to a smooth time-oriented Lorentzian manifold satisfies

For the next theorem, the manifold has dimension at least three and is both past and future distinguishing.