essential infimum

Noun

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