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
▼
Boolean algebra
▼
Sigma-algebra
▼
Set of sigma-algebras
▼
Generated sigma-algebra
▼
Borel sigma-algebra
Definition D1838
Borel measurable space
Formulation 0
Let
T
=
(
X
,
T
)
be a
D1106: Topological space
.
An
D548: Ordered pair
M
=
(
X
,
B
)
is a
Borel measurable space
with respect to
T
if and only if
B
is the
D319: Borel sigma-algebra
on
X
with respect to
T
.