A set function is said to possess countable subadditivity if, given any
countable disjoint
collection of sets
on which
is defined,
A function possessing countable subadditivity is said to be countably subadditive.
Any countably subadditive function is also finitely subadditive
presuming that
where
is the empty set.