theorem Th2: :: PROB_4:2

for X being set
for Si being SigmaField of X
for f being Function holds
( f is SetSequence of Si iff f is sequence of Si )