(i) | $\mathcal{M}$ is the D3566: Set of unsigned basic measures on $M$ |

**set of finite unsigned basic measures**on $M$ is the D11: Set \begin{equation} \{ \mu \in \mathcal{M} : \mu(X) < \infty \} \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

▾ 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

Formulation 0

Let $M = (X, \mathcal{F})$ be a D1108: Measurable space such that

The **set of finite unsigned basic measures** on $M$ is the D11: Set
\begin{equation}
\{ \mu \in \mathcal{M} : \mu(X) < \infty \}
\end{equation}

(i) | $\mathcal{M}$ is the D3566: Set of unsigned basic measures on $M$ |