Second law of black-hole mechanics
= Second law of black-hole mechanics
{wiki}
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.