Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space.
A D11: Set $E$ is an event in $P$ if and only if \begin{equation} E \in \mathcal{F} \end{equation}