:: deftheorem Def28 defines 1-1-connectives AOFA_A00:def 28 :
for S being ConnectivesSignature holds
( S is 1-1-connectives iff the connectives of S is one-to-one );