Chronologically saturated subset
= 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.
= 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.