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))