for S being non empty finite set
for D being EqSampleSpaces of S
for s being Element of D holds freqSEQ s = (len s) (#) (FDprobSEQ s)