theorem Th4: :: GROUP_3:4

for G being Group
for A, B, C, D being Subset of G st A c= B & C c= D holds
A * C c= B * D