for S being non empty non void ManySortedSign
for X0 being V5() countable ManySortedSet of S
for A0 being b₂,b₁ -terms all_vars_including inheriting_operations free_in_itself MSAlgebra over S holds A0 is Equations (S,A0) -free