Sía (M,g) un espaciu tiempu globalmente hiperbólicu que cumple R a b ξ a ξ b ≥ 0 {\displaystyle \scriptstyle R_{ab}\xi ^{a}\xi ^{b}\geq 0} pa tolos vectores temporales ξ a {\displaystyle \scriptstyle \xi ^{a}} (tal como asocedería si les ecuaciones de campu de Einstein satisfáense, cumpliéndose la condición fuerte de la enerxía pa la materia).