לכל k כך ש-<math>1\le k\le n</math> נגדיר גם <math>M_k:=\sup\{f(x):\ x_{k-1}\le x\le x_k\}</math> וכן <math>m_k:=\inf\{f(x):\ x_{k-1}\le x\le x_k\}</math>. בהתאם לכך נגדיר:
* שטח חוסם - הסכום העליון: <math>\overline S(f,P):=\sum_{k=1}^n M_k\Delta x_k</math>
* שטח חסום - הסכום התחתון: <math>\underline S(Af,P):=\sum_{k=1}^n m_k\Delta x_k</math>
==משפט 1==