A set function is said to possess finite subadditivity if, given any finite disjoint collection of sets
on which
is defined,
A set function possessing finite subadditivity is said to be finitely subadditive. In particular, every finitely additive set function is also finitely subadditive.