for n, m being Nat st m > 0 holds
for B being non empty non void b₁ -connectives BoolSignature
for I, N being set
for C being non empty non void ConnectivesSignature st C is m,I,N -array holds
B +* C is n + m,I,N -array