theorem Th11: :: SETLIM_1:11

for X being set
for A being Subset of X
for B being SetSequence of X st ( for n being Nat holds B . n = A ) holds
Intersection B = A