for E being non empty finite set
for A being Event of E holds prob (A,([#] E)) = prob A