:: deftheorem Def38 defines negative ABCMIZ_1:def 38 :
for C being initialized ConstructorSignature
for a being expression of C, an_Adj C holds
( a is negative iff ex a9 being expression of C, an_Adj C st
( a9 is positive & a = (non_op C) term a9 ) );