Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Binary cartesian set product
▾
Binary relation
▾
Map
▾
Operation
▾
N-operation
▾
Binary operation
▾
Enclosed binary operation
▾
Groupoid
▾
Ringoid
▾
Semiring
▾
Ring
▾
Left ring action
▾
Module
▾
Vector space
▾
Vector space seminorm
▾
Vector space norm
▾
Normed vector space
▾
Bounded set
▾
Bounded map
▾
Constant-bounded map
▾
Constant-bounded function
▾
Finite measure
▾
Probability measure
Set of probability measures
Formulation 0
Let $M = (X, \mathcal{F})$ be a
D1108: Measurable space
.
The
set of probability measures
on $M$ is the
D11: Set
\begin{equation} \{ \mathbb{P} : \mathbb{P} \text{ is a probability measure on } M \} \end{equation}