Definition:Measurable Space

Definition
Let $\Sigma$ be a $\sigma$-algebra on a set $X$.

Then $\left({X, \Sigma}\right)$ is called a measurable space iff a measure $\mu$ can be imposed on it such that $\left({X, \Sigma, \mu}\right)$ is a measure space.