for E being non empty finite set
for A, B being Event of E st A c= B holds
prob A <= prob B