ThmDex – An index of mathematical definitions, results, and 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
Definition D198
Probability measure

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 $$\mu(X) = 1$$
Children
 ▶ Set of probability measures
Results
 ▶ Binary subadditivity of probability measure ▶ Countable subadditivity of probability measure ▶ Finite subadditivity of probability measure ▶ Isotonicity of probability measure ▶ Sequential continuity of probability measure from above ▶ Sequential continuity of probability measure from below ▶ Upper and lower bounds for codomain set of probability measure