sentence1: a spacetime is a time-oriented pseudo-riemannian globally hyperbolic 4-manifolds , ie topologically they are m 4 σ , so to have a well posed cauchy problem .
sentence2: in what follows , we will say that a spacetime d is a diamond with an open globally hyperbolic neighbourhood of a cauchy surface on which it is based .