Domino de dependencia

Dado un conjunto cerrado acronal S se define el conjunto de dependencia futura como el conjunto de puntos p tal que toda curva causal a través de p, que esté dirigida hacia el pasado y sea inextendible, interseca a S. Análogamente el dominio de dependecia pasado está formado por todos los puntos tales que toda una curva causal inextendible y dirigida hacia el futuro que los atraviesa necesariamente interecta S. Intuitivamente el dominio de dependencia (futuro) es el conjunto de puntos cuyo pasado está completamente determinado por los eventos contenidos en S.