Finite monotonicity of a set function ![mu:S->[0,infty]](/images/equations/FiniteMonotonicity/Inline1.svg)
, where 
is a collection of subsets of a
set 
, means that, whenever a set 
is contained in the union of
a finite collection 
of sets in 
,
 |
A set function possessing finite monotonicity is said to be finitely monotone. A set function 
which is countably
monotone is necessarily finitely monotone provided that 
and 
, where 
is the empty set.
