inextendible

The future Cauchy development of , is the set of all points for which every past directed inextendible causal curve through intersects at least once.

Mathematically, the conjecture states that the maximal Cauchy development of generic compact or asymptotically flat initial data is locally inextendible as a regular Lorentzian manifold.

Given a subset S of M, the domain of dependence of S is the set of all points p in M such that every inextendible causal curve through p intersects S.