:: deftheorem Def5 defines CatSignature CATALG_1:def 5 :
for A being set
for b₂ being Signature holds
( b₂ is CatSignature of A iff ( CatSign A is Subsignature of b₂ & the carrier of b₂ = [:{0},(2 -tuples_on A):] ) );