for SOURCE being non empty finite set
for p being Probability of Trivial-SigmaField SOURCE holds card (Initial-Trees p) = card SOURCE