A nonzero vector v = (v_0, v_1, ..., v_(n - 1)) in n-dimensional Lorentzian space R^(1, n - 1) is said to be negative lightlike if it has zero (Lorentzian) norm and if its first component v_0 is negative. Symbolically, v is negative lightlike if both -v_0^2 + v_1^2 + ... + v_(n - 1)^2 = 0 and v_0<0 hold. The collection of all negative lightlike vectors form the bottom half of the light cone.

light cone | lightlike | Lorentzian inner product | Lorentzian space | metric signature | negative timelike | positive lightlike | positive timelike | spacelike | timelike