A simple probabability charge satisfies
* probability charge
* p(B)=1 for some finite B in algebra, A.
Theorem: P a simple probability charge on A => A contains all singletons /\ P(x)=0 forall but a finite number of x in X /\ forall B in A: P(B)=Sum(x in B, P(x)).