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.