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