为零的集合以外。设("X", Σ, "μ")为测度空间，并设"f" : "X" → R为定义在"X"上的实函数，它并不一定是可测的。实数"a"称为"f"的"上确界"，如果对于"X"内的所有"x"，都有"f"("x") ≤ "a"，也就是说，集合是空集。而"a"称为"本质上确界"，如果集合的测度为零，也就是说，对于"X"内的"几乎所有x"，都有"f"("x") ≤ "a"。更加正式地，"f"的本质上确界，ess sup "f"，定义为：如果本质上确界的集合formula_4不是空集，否则e