Definition:(2-3) Parastrophe

Definition
Let $S$ be a set.

Let $\struct {S, \circ}$ and $\struct {S, *}$ be magmas on $S$.

$\struct {S, *}$ is a $(2-3)$ parastrophe of $\struct {S, \circ}$ :


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

Also see

 * Definition:Parastrophe


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