Finite subadditivity of a set function is the property that, for any finite
collection of sets
on which
is defined and whose union is in
its domain,
A set function possessing finite subadditivity is said to be finitely subadditive. In particular, every nonnegative finitely additive set
function
defined on an algebra of sets is also finitely
subadditive.