Chronological future (source code)

= Chronological future
{title2=$I^+(S)$}

The chronological future $I^+(S)$ of a subset $S$ of a <spacetime> is the set of points reachable from $S$ by future-directed <timelike curves>. The chronological future is an <open set>.