spacetime

Spacetime is 4-dimensional topological manifold with a smooth atlas carrying a torsion-free section compatible with a Lorentizan metric and a time orientation satisfying the Einstein equations.