  Beginning from only a countable dense set of events and the causality
relation, it is possible to reconstruct a globally hyperbolic spacetime in a
purely order theoretic manner. The ultimate reason for this is that globally
hyperbolic spacetimes belong to a category that is equivalent to a special
category of domains called interval domains.
