Let the variable range over candidate probability distributions for this rich partition: functions assigning to each in the partition a number p(S) in the interval from zero to one, such that the p(S)'s sum to one.