A key in ProbabilityDistribution objects and an option for discreteProbabilityDistribution and continuousProbabilityDistribution for setting the random generation function to be used by random(ProbabilityDistribution).
The object RandomGeneration is a symbol.