ในทางคณิตศาสตร์การวัดจะเรียกว่าอิ่มตัวหากเซตที่วัดได้ในระดับท้องถิ่นทุกเซตสามารถวัดได้เช่น กัน ^{[ 1 ]} เซตที่ไม่จำเป็นต้องวัดได้เรียกว่าเซต${\displaystyle E}$เซตที่วัดได้ในระดับท้องถิ่นถ้าสำหรับทุกเซตที่วัดได้ซึ่งมีมาตรวัดจำกัดจะสามารถวัดได้ จำกัดและมาตรวัดที่เกิดขึ้นจากการจำกัดมาตรวัดภายนอกนั้นอิ่มตัวแล้ว ${\displaystyle A}$${\displaystyle E\cap A}$${\displaystyle \sigma }$