Equation Icon  ED := inf {ES[t] |S is a Cauchy surface for D}, (19)