Diassociative magma

Definition
A magma $$(S,*)$$ is termed a diassociative magma if it satisfies the following equivalent conditions:


 * 1) For any (possibly equal) elements $$x,y \in S$$, the submagma of $$S$$ generated by $$x$$ and $$y$$ is associative.
 * 2) Any subset of the magma of size at most two is contained in a subsemigroup of the magma.
 * 3) For any word in two letters, and any two different ways of associating (parethensizing) that word, the value of the result of the two ways of parenthesizing is the same for any choice of values of elements in the magma to substitute for the letters. In other words, all identities that would follow from the associative law hold in the magma as long as there are only two distinct letters in the statement of the identity.

Property obtained by the opposite operation
Suppose $$(S,*)$$ is a magma and we define $$\cdot$$ on $$S$$ by $$a \cdot b := b * a$$. Then, $$(S,*)$$ is a diassociative magma if and only if $$(S,\cdot)$$ is a diassociative magma.