:: deftheorem Def4 defines MSAEnd ENDALG:def 4 :
for S being non empty non void ManySortedSign
for U1 being non-empty MSAlgebra over S
for b₃ being MSFunctionSet of U1,U1 holds
( b₃ = MSAEnd U1 iff ( ( for f being Element of b₃ holds f is ManySortedFunction of U1,U1 ) & ( for h being ManySortedFunction of U1,U1 holds
( h in b₃ iff h is_homomorphism U1,U1 ) ) ) );