Probability space (source code)

= Probability space
{title2=$(\Omega,\mathcal F,\mathbb P)$}
{wiki}

A probability space is a <measure space> whose total measure is one. Its measurable subsets are <event>[events], and its measure $\mathbb P$ is their probability.