:: deftheorem Def2 defines MSAlg_set MSINST_1:def 2 :
for S being non empty non void ManySortedSign
for A being non empty set
for b₃ being set holds
( b₃ = MSAlg_set (S,A) iff for x being object holds
( x in b₃ iff ex M being strict feasible MSAlgebra over S st
( x = M & ( for C being Component of the Sorts of M holds C c= A ) ) ) );