We also need to specify an electromagnetic field by defining an electromagnetic field tensor F a b on our Lorentzian manifold. To be classified as an electrovacuum solution, these two tensors are required to satisfy two following conditions