:: deftheorem defines Prob DIST_2:def 11 :
for S being non empty finite set
for D being EqSampleSpaces of S
for x being sample of D holds Prob x = Prob ((MembershipDecision {x}),D);