Definition:Experiment/Formal Definition

Definition
An experiment, which can conveniently be denoted $\EE$, is a measure space $\struct {\Omega, \Sigma, \Pr}$ such that $\map \Pr \Omega = 1$.