Podmiara – monotoniczna i podaddytywna funkcja zbioru (bądź ogólniej, funkcja określona na algebrze Boole’a) o wartościach rzeczywistych.

Definicja formalnaEdytuj

Niech   będzie algebrą Boole’a. Funkcję   nazywamy podmiarą, gdy dla dowolnych  

  •  
  •  
  •  

Jeśli ponadto spełniony jest warunek

  •  

to podmiarę   nazywamy miarą.