:: deftheorem defines Prob DIST_2:def 13 :
for S being non empty finite set
for D being EqSampleSpaces of S
for X being samplingRNG of D holds Prob X = Prob ((MembershipDecision X),D);