“…The ternary groupoid (G, [., ., . ]) is called commutative if [x 1 , x 2 , x 3 ] = [x δ (1) , x δ (2) , x δ (3) ] for all x 1 , x 2 , x 3 ∈ G and all permutations δ of {1, 2, 3}. If a binary operation • is defined on G such that [x, y, z] = (x • y) • z for all x, y, z ∈ G, then we say that [., ., .]…”