theorem :: XBOOLE_1:18

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