EntoncesDc∈S2 y la imagen inversa deDc debajo de nuestro mapeo es{(ω,t)∈Ω×T:Xt(ω)≠Yt(ω)}∈F⊗T La p...EntoncesDc∈S2 y la imagen inversa deDc debajo de nuestro mapeo es{(ω,t)∈Ω×T:Xt(ω)≠Yt(ω)}∈F⊗T La proyección de este conjunto sobreΩ{ω∈Ω:Xt(ω)≠Yt(ω) for some t∈T}∈F ya que la proyección de un conjunto medible en el espacio del producto también es medible.