Definition:Cancellable Operation

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

Cancellable
The operation $\circ$ in $\left ({S, \circ}\right)$ is cancellable
 * $\forall a, b, c \in S: a \circ b = a \circ c \implies b = c$
 * $\forall a, b, c \in S: a \circ c = b \circ c \implies a = b$

... that is, it is both a left cancellable operation and a right cancellable operation.

Also see
In the context of mapping theory:
 * Right Cancellable Element
 * Left Cancellable Element


 * Cancellable Element