:: deftheorem Def39 defines integer AOFA_A00:def 39 :
for S being non empty non void BoolSignature
for I being SortSymbol of S holds
( I is integer iff I = 1 );