essential infimum

essential infimum (plural essential infima)

1. (mathematical analysis) The infimum (greatest lower bound) of a function which holds almost everywhere. In symbols, ${\displaystyle \mathrm {ess} \inf f=\sup\{m:\mu (\{x:f(x)<m\})=0\}}$.

• (antonym(s) of “infimum valid almost everywhere”): essential supremum