Definition
Measurable Space
A measurable space is a pair
, where is a set of elements and is a sigma-algebra of its subsets. Here denotes the power set of . The set
specifies the elements under consideration; specifies which collections of those elements are measurable. No measure is specified yet: the space determines which subsets may be measured, not their sizes or probabilities.