 Chronologically saturated subset

A subset $U$ is chronologically saturated in both directions when $I^{+}(U)=U=I^{-}(U)$. If the ambient spacetime is connected and $U$ is nonempty, then $U$ is the whole spacetime.