En el caso de espacios probabilísticos infinitos existe el requerimiento de que un subconjunto formula_4 es un evento aleatorio solo si formula_5, es decir, que se trate de un subconjunto que específicamente pertenezca a la σ-álgebra usada para definir el espacio muestral.