for S being non empty finite set
for D being EqSampleSpaces of S
for x being sample of D holds Prob x = (ProbFinS_of D) . (index x)