e/Static spacetime

Information
has gloss	eng: In general relativity, a spacetime is said to be static if it admits a global, non-vanishing, timelike Killing vector field K which is irrotational, i.e., whose orthogonal distribution is involutive. (Note that the leaves of the associated foliation are necessarily space-like hypersurfaces.) Thus a static spacetime is a stationary spacetime satisfying this additional integrability condition. These spacetimes form one of the simplest classes of Lorentzian manifolds.
lexicalization	eng: static spacetime
instance of	e/Lorentzian manifolds