Definition:Measurable Space

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.