Bicommutative Elements

A pair of elements x , y 𝑥 𝑦 x,y in an Algebraic Theory with a Ternary Operation are bicommutative if the following equations hold: