:: deftheorem Def14 defines Equations MSAFREE4:def 14 :
for S being non empty non void ManySortedSign
for A being MSAlgebra over S
for b₃ being EqualSet of S holds
( b₃ = Equations (S,A) iff for s being SortSymbol of S holds b₃ . s = { e where e is Element of (Equations S) . s : A |= e } );