theorem Th12: :: SETLIM_2:12

for X being set
for A1, A2 being SetSequence of X holds Intersection (A1 (/\) A2) = (Intersection A1) /\ (Intersection A2)