for Omega1, Omega2 being non empty set
for S1 being SigmaField of Omega1
for S2 being SigmaField of Omega2
for F being random_variable of S1,S2
for y being Element of S2 st y <> {} holds
{ z where z is Element of Omega1 : F . z is Element of y } = F " y