:: deftheorem Def16 defines GroupMorphism_DOMAIN-like GRCAT_1:def 18 :
for IT being set holds
( IT is GroupMorphism_DOMAIN-like iff for x being object st x in IT holds
x is strict GroupMorphism );