theorem :: SETLIM_2:88

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