:: deftheorem Def10 defines Circuit CIRCCMB3:def 10 :
for X being non empty finite set
for S being Signature of X
for b₃ being Circuit of S holds
( b₃ is Circuit of X,S iff ( b₃ is gate`2=den & the Sorts of b₃ is constant & the_value_of the Sorts of b₃ = X ) );