ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F727 on D1673: Sample space
F727
Formulation 0
Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space.
Then $\Omega$ is called the sample space of $P$.