:: deftheorem Def10 defines sample DIST_2:def 10 :
for S being non empty finite set
for D being EqSampleSpaces of S
for b₃ being Element of S holds
( b₃ is sample of D iff ex s being Element of D st b₃ in rng s );