Definition:Anticommutative

Definition
Let $\circ$ be a binary operation.

Then $\circ$ is anticommutative on $S$ iff


 * $\forall x, y \in S: x \circ y = y \circ x \iff x = y$

Equivalently, it can be defined as:


 * $\forall x, y \in S: x \ne y \iff x \circ y \ne y \circ x$

An example of an anticommutative operation in arithmetic is the operation of subtraction.