:: deftheorem Def3 defines MSAlg MSUHOM_1:def 3 :
for U1, U2 being Universal_Algebra
for h being Function of U1,U2 st MSSign U1 = MSSign U2 holds
MSAlg h = 0 .--> h;