Past exam of the year 1 of the computer science course of the University of Oxford / 2019 / Discrete mathematics, continuous mathematics, and probability resit / 9 / b / iii

The disjoint decomposition into sets $A=(A\cap B)\cup (A\setminus B)$ uses only events in $\mathcal{F}$. Finite additivity and nonnegativity giveThus $\mathbb{P}(A\cap B)\le \mathbb{P}(A)$ already follows from the two stated requirements. Equality is attained, for example, by choosing $B=A$, since then $A\cap B=A$. More generally it holds whenever $\mathbb{P}(A\setminus B)=0$. Neither normalization nor countable additivity is needed for this particular inequality.