In 1925, George Yuri Rainich presented purely mathematical conditions which are both necessary and sufficient for a Lorentzian manifold to admit an interpretation in general relativity as a non-null electrovacuum. These comprise three algebraic conditions and one differential condition. The conditions are sometimes useful for checking that a putative non-null electrovacuum really is what it claims, or even for finding such solutions.
