:: deftheorem TLADef defines ternary-left-absorbing LATTBA_1:def 6 :
for T being non empty TBAStruct holds
( T is ternary-left-absorbing iff for a, b being Element of T holds Tern ((b `),b,a) = a );