for E being non empty finite set
for A being Event of E holds prob A <= 1