Finite subadditivity of a set function is the property that, for 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.