Causality conditions
Causality conditions are classifications of Lorentzian manifolds according to the types of causal structures they admit. In the study of spacetimes, there exists a hierarchy of causality conditions which are important in proving mathematical theorems about the global structure of such manifolds.