:: deftheorem Def52 defines +* AOFA_A00:def 52 :
for B being non empty BoolSignature
for C being non empty ConnectivesSignature
for b₃ being strict BoolSignature holds
( b₃ = B +* C iff ( ManySortedSign(# the carrier of b₃, the carrier' of b₃, the Arity of b₃, the ResultSort of b₃ #) = B +* C & the bool-sort of b₃ = the bool-sort of B & the connectives of b₃ = the connectives of B ^ the connectives of C ) );