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.