:: deftheorem defines TBA-like LATTBA_1:def 16 :
for T being non empty TBAStruct holds
( T is TBA-like iff ( T is ternary-distributive & T is ternary-left-idempotent & T is ternary-right-idempotent & T is ternary-left-absorbing & T is ternary-right-absorbing ) );