distribution function in general sense