theorem :: MSSUBLAT:27

for A being Universal_Algebra
for B being strict non-empty MSSubAlgebra of MSAlg A st the carrier of (MSSign A) = {0} holds
1-Alg B is SubAlgebra of A