By definition of a D198: Probability measure, one has $\mathbb{P}(\Omega) = 1$. Thus, this result is a particular case of R2060: Probability of set difference. $\square$