:: deftheorem defines non-absorbing ABCMIZ_0:def 26 :
for T being non empty non void TAS-structure holds
( T is non-absorbing iff for a being adjective of T holds sub (non- a) = sub a );