theorem Th32: :: LATTBA_1:1

for T being Ternary_Boolean_Algebra
for a, b being Element of T holds Tern (a,b,a) = a