theorem :: ALGSTR_4:10

for M being non empty multMagma
for A being Subset of M holds
( A is stable iff A * A c= A )