A simple probabability charge satisfies
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)).