If any of these conditions are satisfied, we say M is globally hyperbolic. If M is a smooth connected Lorentzian manifold with boundary, we say it is globally hyperbolic if its interior is globally hyperbolic.