reconsider A = the carrier of M as Subset of by ZFMISC_1:def 1;
take A ; :: thesis: A is stable
for v, w being Element of st v in A & w in A holds
v * w in A ;
hence A is stable by Def11; :: thesis: verum