theorem Th71: :: SETLIM_2:71

for X being set
for A1, A2 being SetSequence of X st ( A1 is convergent or A2 is convergent ) holds
lim_sup (A1 (/\) A2) = (lim_sup A1) /\ (lim_sup A2)