Assertion: distribution function | /r/HasProperty | constant
Facets:
Source sentences:
text: A discrete random variable is sometimes defined as a random variable whose cumulative distribution function is piecewise constant.