nLab
essential supremum

The essential supremum of a measurable function is essentially the supremum of its image. But we ignore things that happen only on a null set.

Until we write this article, see: