define probability distribution function and its properties