Infimum Essentiel

Pour une fonction mesurable f, l’infimum essentiel est le plus grand nombre réel étendu m tel que f(x) ≥ m pour presque tout x (c.-à-d. en dehors d’un ensemble de mesure nulle). Il fournit une borne inférieure maximale à modulo des ensembles nuls.