Theorem 4.3.6.

For events A and B
\begin{equation*} A \subseteq B \Rightarrow P(A) \le P(B)\text{.} \end{equation*}

Proof.

in-context