15.6.4 Definition and properties of probability