theorem :: XBOOLE_1:77

for X, Y, Z being set st X meets Y & X c= Z holds
X meets Y /\ Z