for E being non empty finite set
for A being Event of E holds prob (A,(A `)) = 0