 Second law of black-hole mechanics

Under the null energy condition and the usual global assumptions excluding naked pathologies, the area of every cross-section of a future event horizon is nondecreasing toward the future. The Null Raychaudhuri equation and future completeness rule out negative expansion of its generators.