Definition:Opposite Magma

Definition
Let $S$ be a set.

Let $\struct {S, \circ_1}$ and $\struct {S, \circ_2}$ be magmas on $S$.

$\struct {S, \circ_2}$ is the opposite magma of $\struct {S, \circ_1}$ :


 * $\forall x_1, x_2, x_3 \in S: x_1 \circ_1 x_2 = x_3 \iff x_2 \circ_2 x_1 = x_3$

The operation $\circ_2$ is sometimes referred to as the opposite law of $\circ_1$.

Also known as
This concept was introduced with this name in the books by.

Other sources refer to $\struct {S, \circ_2}$, as defined here, as the $(1 - 2)$ parastrophe of $\struct {S, \circ_1}$.

Also see

 * Definition:Parastrophe


 * Definition:(1-3) Parastrophe
 * Definition:(2-3) Parastrophe


 * Opposite Group