theorem :: SETLIM_1:9

for X being set
for B being SetSequence of X holds Intersection B c= Union B