Let $M = (X, \mathcal{F})$ be a D1108: Measurable space.
A D11: Set $E$ is a measurable set in $M$ if and only if \begin{equation} E \in \mathcal{F} \end{equation}