Bicommutative Elements
A pair of elements in an Algebraic Theory with a Ternary Operation are bicommutative if the following equations hold:
A pair of elements in an Algebraic Theory with a Ternary Operation are bicommutative if the following equations hold: