ThmDex – An index of mathematical definitions, results, and conjectures.
Comment T717 on F11034:
Result R3719: Probability of complement event shows that $\mathbb{P}(E^{\complement}) = 1 - \mathbb{P}(E)$. Thus, an equvalent assumption to (ii) is that $\mathbb{P}(E) < 1$.