for S being non empty non void ManySortedSign
for U0 being MSAlgebra over S
for A being MSSubset of U0 st (Constants U0) (\/) A is V8() holds
MSSubSort A is V8()