A semi-Riemannian manifold is a smooth manifold equipped with a semi-Riemannian metric.
Its semi-Riemannian metric 
is a smooth 
tensor field of symmetric
tensors whose associated bilinear form is nondegenerate. The index
is constant on each connected component and
may be zero.
The terms semi-Riemannian and pseudo-Riemannian are commonly used synonymously, as in pseudo-Riemannian manifolds. With this convention, Riemannian manifolds are the index-zero case. Some authors reserve pseudo-Riemannian for metrics which are not positive definite.
At each point, an appropriate vector basis puts 
in the normal form
 |
where 
,
..., 
are the dual covectors and 
. The metric signature
is 
,
and 
is allowed. This is a pointwise vector basis statement
and does not assert the existence of flat coordinates
on a neighborhood.
Lorentzian manifolds are examples with one negative direction under the mostly-positive sign convention.
