Property where the measure of a union of countable disjoint sets is the sum of their measures.