15.6.18 Definition and properties of probability