theorem Th12: :: ALGSTR_4:12

for M, N being non empty multMagma
for f being Function of M,N
for Y being stable Subset of N st f is multiplicative holds
f " Y is stable Subset of M