The cumulative distribution function of a real-valued random variable `` X '' is the function given by
The random variable distribution function of a real-valued cumulative `` X '' is the function given by