theorem Th26: :: XBOOLE_1:26

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