:: deftheorem Def1 defines Probabilities QMAX_1:def 1 :
for X being non empty set
for S being SigmaField of X
for b₃ being set holds
( b₃ = Probabilities S iff for x being object holds
( x in b₃ iff x is Probability of S ) );