Definition of Dempster