An D85: Unsigned basic measure $\mu : \mathcal{F} \to [0, \infty]$ is a

**probability measure**on $M$ if and only if \begin{equation} \mu(X) = 1 \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.

An D85: Unsigned basic measure $\mu : \mathcal{F} \to [0, \infty]$ is a**probability measure** on $M$ if and only if
\begin{equation}
\mu(X) = 1
\end{equation}

An D85: Unsigned basic measure $\mu : \mathcal{F} \to [0, \infty]$ is a

Child definitions

Results