Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Subset
▾
Power set
▾
Hyperpower set sequence
▾
Hyperpower set
▾
Hypersubset
▾
Subset algebra
▾
Subset structure
Measurable space
Formulation 0
An
D548: Ordered pair
$M = (X, \mathcal{F})$ is a
measurable space
if and only if
(1)
$X$ is a
D11: Set
(2)
$\mathcal{F}$ is a
D84: Sigma-algebra
on $X$
Also known as
Measurable subset structure
Child definitions
»
D201: Measurable map
»
D1109: Measurable set
»
D3865: Measurable space isomorphism
»
D1158: Measure space