for M being multMagma
for A being Subset of M holds
( A is empty iff the_submagma_generated_by A is empty )