:: deftheorem defines non-absorbing ABCMIZ_0:def 24 :
for T being non empty non void TAS-structure holds
( T is non-absorbing iff the sub-map of T * the non-op of T = the sub-map of T );