:: deftheorem Def37 defines positive ABCMIZ_1:def 37 :
for C being initialized ConstructorSignature
for a being expression of C, an_Adj C holds
( a is positive iff for a9 being expression of C, an_Adj C holds not a = (non_op C) term a9 );