:: deftheorem Def4 defines Constants MSUALG_2:def 4 :
for S being non empty non void ManySortedSign
for U0 being MSAlgebra over S
for b₃ being MSSubset of U0 holds
( b₃ = Constants U0 iff for s being SortSymbol of S holds b₃ . s = Constants (U0,s) );