תורת המידה היא ענף מתמטי העוסק באופנים השונים בהם ניתן למדוד מה שניתן לתפוש אינטואיטיבית כ""גודל"" של קבוצה. היישומים הבולטים ביותר של תורת המידה הם מדידת אורך (מדידת תת-קבוצות של הישר הממשי), מדידת שטח (מדידת תת-קבוצות של המישור הממשי) ומדידת נפח (מדידת תת-קבוצות של המרחב התלת-ממדי). כך למשל מידתו של הקטע