:: deftheorem Def6 defines involutive ABCMIZ_0:def 6 :
for A being AdjectiveStr holds
( A is involutive iff for a being adjective of A holds non- (non- a) = a );