:: deftheorem defines Tern LATTBA_1:def 2 :
for T being non empty TBAStruct
for a, b, c being Element of T holds Tern (a,b,c) = the TernOp of T . (a,b,c);