definition of distribution function