:: deftheorem Def39 defines regular ABCMIZ_1:def 39 :
for C being initialized ConstructorSignature
for a being expression of C, an_Adj C holds
( a is regular iff ( a is positive or a is negative ) );