:: deftheorem Def1 defines with_triple-like_morphisms CAT_5:def 1 :
for IT being non empty non void CatStr holds
( IT is with_triple-like_morphisms iff for f being Morphism of IT ex x being set st f = [[(dom f),(cod f)],x] );