:: deftheorem Def6 defines Algebra ALGSPEC1:def 6 :
for b₁ being object holds
( b₁ is Algebra iff ex S being non void Signature st b₁ is feasible MSAlgebra over S );