for G being multMagma
for M being MonoidalSubStr of G holds M is SubStr of G