15.6.9 Definition and properties of probability