probability measure = probability charge except that:
 * for an infinite sequence of Ai in A, Union(i=1,infinity,Ai) in A, Ai intersect Aj= empty set forall i,j => P(Union(i=1,infinity,Ai))=Sum(i=1,infinity,P(Ai))