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