数学における本質的上限（ほんしつてきじょうげん、）と本質的下限（ほんしつてきかげん、）の概念は、上限と下限の概念と関連するものであるが、測度論においては前者の方がより意義深いものとなる。なぜならば測度論においては、ある集合のすべての元に対しては有効ではないが、ほとんどすべての元に対して、すなわち測度 0 の集合に含まれないすべての元に対して有効となるような議論が行われるからである。
を測度空間とし、 を必ずしも可測ではない 上の実数値関数とする。ある実数 が のであるとは、 内のすべての に対して が成立すること、すなわち、集合
が空であることを言う。それと比べて、 が本質的上界であるとは、集合
が測度 0 の集合に含まれること（あるいは可測関数の場合はその測度が 0 であること）を言う。すなわち、 内のほとんど至る所の に対して が成立することを言う。すると、最小の上界として の上限が定義されるように、本質的上限は、最小の本質的上界として定義される。
より正式に言うと、 の本質的上限 は、その本質的上界の集合 が空でないときには
で定義され、空であるときには で定義される。
全く同様に、本質的下限は最大の本質的下界として定義される。すなわち、本質的下界の集合が空でないときには
で定義され、空であるときには で定義される。
例 実数直線上のルベーグ測度と、それに対応する -代数 を考える。関数 を
で定義する。この関数上限（最大値）は 5 であり、下限（最小値）は −4 である。しかし、それらの値は測度ゼロの集合 {1} および {−1} の上でしか取られない。その他のすべての集合上では、この関数の値は 2 である。したがって、この関数本質的上限と本質的下限は、ともに 2 である。
別の例として、次の関数
を考える。ここで は有理数の集合を表す。この関数上下ともに非有界であるため、その上限と下限はそれぞれ と になる。しかし、ルベーグ測度の観点からすると、有理数の集合は測度 0 である。したがって、本当に重要なのはその集合の補集合上で起こっていることである。そこでの値は となっているため、この関数本質的上限は であり、本質的下限は である。
最後に、すべての実数 に対して定義される関数 を考える。その本質的上限は であり、本質的下限は である。
基本的性質 一般に以下の不等式関係が成り立つ：
定義域 の測度 が正であり、 が可測関数であるとき、以下が成り立つ： （三角不等式） （ただし両辺の各項がともに非負であるとき） 定数 に対して ほとんど至る所で および が成り立つ。 と がほとんど至る所等しい（すなわち である）ならば、それらの本質的上限および本質的下限は互いに一致する：
応用と関連概念 空間と本質的上限ノルム 関数解析学およびルベーグ積分論において、本質的上限は ノルム（本質的上限ノルム）を定義するために用いられる。可測関数 に対し、その ノルムは
で定められる。 を満たす関数は本質的に有界（）であると呼ばれ、ほとんど至る所等しい関数同士を同一視した同値類の空間 （ 空間の の場合）は、このノルムに関してバナッハ空間となる。
一様ノルムとの関係 が位相空間であり、 が連続関数である場合、台（サポート）の測度が正であるような通常の測度（例えばユークリッド空間上のルベーグ測度）のもとでは、本質的上限は一般的な一様ノルム（上限）と一致する：
したがって、本質的上限は連続関数空間における上限ノルムを、連続とは限らない一般の可測関数空間へと拡張したものとみなすことができる。
参考文献