for H being non empty multMagma
for P being Subset of H
for h being Element of H holds (h *) .: P = h * P