forall C,B,C1,B1,.... in an algebra A,
with C1 subset C2 .... with C=union(i=1,infinity,Ci) /\ B"=>"Ci forall i
=> B "=>" C
proposition:
algebra A a sigma algebra /\ P a probability charge on A representing "=>"
=> "=>" is monotone continuous <=> P is a probability measure
(this induces finite additivity)