:: deftheorem Def29 defines -connectives AOFA_A00:def 29 :
for n being Nat
for S being ConnectivesSignature holds
( S is n -connectives iff len the connectives of S = n );