Definition:Anticommutative/Structure with Two Operations

Definition
Let $\left({S, +, \circ}\right)$ be an algebraic structure.

Suppose every element $x$ in $\left({S, +}\right)$ has an inverse element $-x$.

Then $\circ$ is anticommutative on $S$ with respect to $+$ iff:


 * $\forall x, y \in S: x \circ y = -\left({y \circ x}\right)$

Also see

 * Cross Product is Anticommutative