:: deftheorem Def9 defines Signature CIRCCMB3:def 9 :
for X being non empty finite set
for b₂ being non empty non void unsplit gate`1=arity gate`2=den ManySortedSign holds
( b₂ is Signature of X iff ex A being Circuit of b₂ st
( the Sorts of A is constant & the_value_of the Sorts of A = X & A is gate`2=den ) );