:: deftheorem defines homomorphic AIMLOOP:def 30 :
for Q1, Q2 being multLoop
for f being Function of Q1,Q2 holds
( f is homomorphic iff ( f is unity-preserving & f is quasi-homomorphic ) );