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.