Definition:Measure Space

A measure space is a triple $$(X, \Sigma, \mu)\ $$, where $$X\ $$ is a set, $$\Sigma\ $$ is a $\sigma\ $-algebra over $$X\ $$ and $$\mu\ $$ is a measure on $$\Sigma\ $$.