A key in ProbabilityDistribution objects and an option for discreteProbabilityDistribution and continuousProbabilityDistribution for setting the cumulative distribution function to be used by probability.
The object DistributionFunction is a symbol.
The source of this document is in Probability.m2:566:0.