 Essential infimum

The essential infimum of a measurable function is $\mathrm{essinf}u=-\mathrm{esssup}(-u)$. It is the largest lower bound that holds almost everywhere. Unlike a pointwise infimum, it is unchanged by altering a representative on a null set.