Einstein field equations
と記述できる。従って、アインシュタイン方程式の真空解は、宇宙定数との比例定数 k をもつ（ローレンツ）アインシュタイン多様体であう。