for S being non empty non void ManySortedSign
for A being MSAlgebra over S holds id the Sorts of A is Endomorphism of A