theorem Th38: :: MSAFREE3:38

for S being non void Signature
for A being feasible MSAlgebra over S
for B being MSSubAlgebra of A holds B is feasible