Set of finite unsigned basic measures

▾ 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

Set of finite unsigned basic measures

Formulation 0

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

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

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