Para-Associative Operation

A Ternary Operation $[-,-,-]:A\to A\to A\to A$ is para-associative if it satisfies the following equations:

• $\forall a,b,c,d,e.\;[[a,b,c],d,e]=[a,[d,c,b],e]=[a,b,[c,d,e]]$

Note that the term "pseudoassociative" is often used in the literature; we avoid this to prevent confusion with things like "pseudofunctor".