theorem Th8: :: ALGSTR_4:8

for M being multMagma
for N being multSubmagma of M holds the carrier of N is stable Subset of M