===== Measure space =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X $ |
| @#FFBB00: definiendum | @#FFBB00: $ \langle\!\langle X,\Sigma,\mu \rangle\!\rangle$ in it |
| @#55EE55: postulate   | @#55EE55: $ \Sigma \in \mathrm{SigmaAlgebra}(X) $ |
| @#55EE55: postulate   | @#55EE55: $ \mu\in \mathrm{Measure}(\Sigma) $ |

==== Discussion ====
A measure space is a measurable space together with a fixed measure.
==== Reference ====
Wikipedia: [[http://en.wikipedia.org/wiki/Measure_%28mathematics%29|Measure]]
==== Parents ====
=== Equivalent to ===
[[Measure]]
=== Context ===
[[σ-algebra]], [[Extended real number line]], [[Infinite series]]