for S being non empty non void ManySortedSign
for A being MSAlgebra over S holds A |= Equations (S,A)