theorem Th24: :: MEMBER_1:24

for F, G being ext-real-membered set holds (F /\ G) "" c= (F "") /\ (G "")