ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P2786 on R4073: Probability of union with the impossible event
P2786
Result R2082: Binary set union with empty set shows that $E \cup \emptyset = E$, whence the claim follows. $\square$