 Definition 3 under the assumption of strong causality and its equivalence to the first two was given by Hawking and Ellis.As mentioned, in older literature, the condition of causality in the first and third definitions of global hyperbolicity given above is replaced by the stronger condition of "strong causality".In 2007, Bernal and Sánchez showed that the condition of strong causality can be replaced by causality.