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