theorem Th14: :: ALGSTR_4:14

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