Causal future
= Causal future
{title2=$J^+(S)$}
The <causal future> of $S$ consists of points reached from $S$ by future-directed causal curves, including points of $S$ itself. In a <globally hyperbolic spacetime>, the <causal future> of a <compact> set is <closed>.