There is a hierarchy of causality conditions, each one of which is strictly stronger than the previous. This is sometimes called the causal ladder. The conditions, from weakest to strongest, are:

• Non-totally vicious
• Chronological
• Causal
• Distinguishing
• Strongly causal
• Stably causal
• Causally continuous
• Causally simple
• Globally hyperbolic

Given are the definitions of these causality conditions for a Lorentzian manifold ${\displaystyle (M,g)}$ . Where two or more are given they are equivalent.

Notation:

• ${\displaystyle p\ll q}$  denotes the chronological relation.
• ${\displaystyle p\prec q}$  denotes the causal relation.

(See causal structure for definitions of ${\displaystyle \,I^{+}(x)}$ , ${\displaystyle \,I^{-}(x)}$  and ${\displaystyle \,J^{+}(x)}$ , ${\displaystyle \,J^{-}(x)}$ .)

• For some points ${\displaystyle p\in M}$  we have ${\displaystyle p\in M}$ .

• There are no closed causal (non-spacelike) curves.
• If both ${\displaystyle p\prec q}$  and ${\displaystyle q\prec p}$  then ${\displaystyle p=q}$ 

Past-distinguishing edit

• Two points ${\displaystyle p,q\in M}$  which share the same chronological past are the same point:

${\displaystyle I^{-}(p)=I^{-}(q)\implies p=q}$ 

• Equivalently, for any neighborhood ${\displaystyle U}$  of ${\displaystyle p\in M}$  there exists a neighborhood ${\displaystyle V\subset U,p\in V}$  such that no past-directed non-spacelike curve from ${\displaystyle p}$  intersects ${\displaystyle V}$  more than once.

Future-distinguishing edit

• Two points ${\displaystyle p,q\in M}$  which share the same chronological future are the same point:

${\displaystyle I^{+}(p)=I^{+}(q)\implies p=q}$ 

• Equivalently, for any neighborhood ${\displaystyle U}$  of ${\displaystyle p\in M}$  there exists a neighborhood ${\displaystyle V\subset U,p\in V}$  such that no future-directed non-spacelike curve from ${\displaystyle p}$  intersects ${\displaystyle V}$  more than once.

• For every neighborhood ${\displaystyle U}$  of ${\displaystyle p\in M}$  there exists a neighborhood ${\displaystyle V\subset U,p\in V}$  through which no timelike curve passes more than once.
• For every neighborhood ${\displaystyle U}$  of ${\displaystyle p\in M}$  there exists a neighborhood ${\displaystyle V\subset U,p\in V}$  that is causally convex in ${\displaystyle M}$  (and thus in ${\displaystyle U}$ ).
• The Alexandrov topology agrees with the manifold topology.

For each of the weaker causality conditions defined above, there are some manifolds satisfying the condition which can be made to violate it by arbitrarily small perturbations of the metric. A spacetime is stably causal if it cannot be made to contain closed causal curves by any perturbation smaller than some arbitrary finite magnitude. Stephen Hawking showed^[2] that this is equivalent to:

• There exists a global time function on ${\displaystyle M}$ . This is a scalar field ${\displaystyle t}$  on ${\displaystyle M}$  whose gradient ${\displaystyle \nabla ^{a}t}$  is everywhere timelike and future-directed. This global time function gives us a stable way to distinguish between future and past for each point of the spacetime (and so we have no causal violations).

• ${\displaystyle \,M}$  is strongly causal and every set ${\displaystyle J^{+}(x)\cap J^{-}(y)}$  (for points ${\displaystyle x,y\in M}$ ) is compact.

Robert Geroch showed^[3] that a spacetime is globally hyperbolic if and only if there exists a Cauchy surface for ${\displaystyle M}$ . This means that:

• ${\displaystyle M}$  is topologically equivalent to ${\displaystyle \mathbb {R} \times \!\,S}$  for some Cauchy surface ${\displaystyle S.}$  (Here ${\displaystyle \mathbb {R} }$  denotes the real line).

• Spacetime
• Lorentzian manifold
• Causal structure
• Globally hyperbolic manifold
• Closed timelike curve

• S.W. Hawking, G.F.R. Ellis (1973). The Large Scale Structure of Space-Time. Cambridge: Cambridge University Press. ISBN 0-521-20016-4.
• S.W. Hawking, W. Israel (1979). General Relativity, an Einstein Centenary Survey. Cambridge University Press. ISBN 0-521-22285-0.