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}

▾ 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

▾ 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

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}

The