static spacetime

C4881 concept

A static spacetime is a spacetime that admits a global timelike Killing vector field that is hypersurface-orthogonal, so its geometry is time-independent and free of rotation.