:: deftheorem defines set_End LMOD_XX1:def 2 :
for M being AbGroup holds set_End M = { f where f is Function of M,M : f is Endomorphism of M } ;