Un espacio-tiempo, o más generalmente un conjunto abierto "U" del mismo, es globalmente hiperbólico si se cumplen las dos condiciones siguientes: