Random variable and probability distribution