theorem Th5: :: TOPGRP_1:5

for H being non empty multMagma
for P, Q being Subset of H
for h being Element of H st P c= Q holds
P * h c= Q * h