theorem Th8: :: DYNKIN:9

for Omega being non empty set
for f being SetSequence of Omega st f is V62() holds
for X being Subset of Omega holds seqIntersection (X,f) is V62()