Null convergence condition ($R_{ab}{k}^a{k}^b\ge 0$)

The null convergence condition requires $R_{ab}{k}^a{k}^b\ge 0$ for every null vector. Through the Einstein field equations, it follows from the null energy condition, since all terms proportional to the metric tensor vanish on a null vector.