Globally Hyperbolic
- is strongly causal and every set (for points ) is compact.
Robert Geroch showed that a spacetime is globally hyperbolic if and only if there exists a Cauchy surface for . This means that:
- is topologically equivalent to for some Cauchy surface (Here denotes the real line).
Read more about this topic: Causality Conditions