theorem :: MEMBER_1:91

for A, B, C, D being complex-membered set st A c= B & C c= D holds
A ** C c= B ** D