Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
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
Definition D1108
Measurable space
Formulation 0
An
D548: Ordered pair
M
=
(
X
,
F
)
is a
measurable space
if and only if
(1)
X
is a
D11: Set
(2)
F
is a
D84: Sigma-algebra
on
X
Also known as
Measurable subset structure
Children
▶
D201: Measurable map
▶
D1109: Measurable set
▶
D3865: Measurable space isomorphism
▶
D1158: Measure space