theorem Th19: :: XBOOLE_1:19

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