essential infimum

(mathematical analysis) The infimum (greatest lower bound) of a function which holds almost everywhere. In symbols, ess inf f= sup m:𝜇(x:f(x)<m)=0.