for S being non empty finite set
for D being Element of distribution_family S
for s, t being Element of D holds s,t -are_prob_equivalent