本質的上限と本質的下限
数学における本質的上限（ほんしつてきじょうげん、）と本質的下限（ほんしつてきかげん、）の概念は、上限と下限の概念と関連するものであるが、測度論においては前者の方がより意義深いものとなる。なぜならば測度論においては、ある集合のすべての元に対しては有効ではないが、ほとんどすべての元に対して、すなわち測度 0 の集合に含まれないすべての元に対して有効となるような議論が行われるからである。
 を測度空間とし、 を必ずしも可測ではない 上の実数値函数とする。ある実数 が のであるとは、 内のすべての に対して が成立すること、すなわち、集合
が空であることを言う。それと比べて、"a" が本質的上界であるとは、集合
が測度 0 の集合に含まれることを言う。すなわち、 内のほとんどすべての に対して が成立することを言う。すると、最小の上界として の上限が定義されるように、本質的上限は、最小の本質的上界として定義される。
より正式に言うと、 の本質的上限 は、その本質的上界の集合 が空でないときには
で定義され、空であるときには で定義される。
全く同様に、本質的下限は最大の本質的下界として定義される。すなわち、本質的下界の集合が空でないときには
で定義され、空であるときには で定義される。