15.6.1 Definition and properties of probability