\begin{definition}[Definition:Measurable Set]
Let $\struct {X, \Sigma}$ be a measurable space.
A subset $S \subseteq X$ is said to be '''($\Sigma$-)measurable''' {{iff}} $S \in \Sigma$.
\end{definition}