:: deftheorem Def1 defines UAEnd ENDALG:def 1 :
for UA being Universal_Algebra
for b₂ being FUNCTION_DOMAIN of the carrier of UA, the carrier of UA holds
( b₂ = UAEnd UA iff for h being Function of UA,UA holds
( h in b₂ iff h is_homomorphism ) );