properties of distribution function