15.6.8 Definition and properties of probability