 If formula_54 are countable sets of real numbers, formula_55 and formula_56, then formula_57 is a discrete distribution function.Here formula_58 for formula_59, formula_60 for formula_61.Taking for instance an enumeration of all rational numbers as formula_62, one gets a discrete distribution function that is not a step function or piecewise constant.