Portable Document Format
Any function whose integral over a set gives the probability that a random variable has a value in that set