Definition:Measure Space

A measure space is a triple $$\left({X, \Sigma, \mu}\right)\ $$ where:
 * $$X\ $$ is a set;
 * $$\Sigma\ $$ is a $\sigma\ $-algebra over $$X\ $$;
 * $$\mu\ $$ is a measure on $$\Sigma\ $$.