Lorentzian inner product
= Lorentzian inner product
A <Lorentzian inner product> is a nondegenerate symmetric bilinear form with one negative and the remaining positive eigenvalues in the mostly-plus convention. Two nonzero future causal vectors have nonpositive inner product; if either is timelike, it is strictly negative.