for S being non empty non void ManySortedSign
for A being non-empty MSAlgebra over S
for B being b₂ -Image MSAlgebra over S
for s being SortSymbol of S
for e being Element of (Equations S) . s st A |= e holds
B |= e