Formalmente, sea
~
=
(
,
A
,
μ
)
{\displaystyle {\tilde {\ Omega }}=(\ Omega,{\mathcal {A}},\mu )}
un espacio muestral, entonces un evento es un subconjunto
A
:=
{
w
,
w
2
,
.
.
.
}
⊆
{\displaystyle A:=\{w_{1},w_{2},...\}\subseteq \ Omega }
, donde
(
w
,
w
2
,
.
.
.
)
{\displaystyle (w_{1},w_{2},...)}
son una serie de posibles resultados. En el caso de espacios probabilísticos infinitos existe el requerimiento de que un subconjunto
A
⊂
{\displaystyle A\subset \ Omega }
es un evento aleatorio solo si
A
∈
A
{\displaystyle A\in {\mathcal {A}}}
, es decir, que se trate de un subconjunto que específicamente pertenezca a la σ-álgebra usada para definir el espacio muestral.
