Measure

A measure is a set function that assigns a non-negative size or volume to subsets of a given set, generalizing concepts like length, area, volume, probability, … it tells you how much “stuff” is in a set.

with , and countable additivity.