Category:Definitions/Cancellability

This category contains definitions related to Cancellability.
Related results can be found in Category:Cancellability.

Let $\struct {S, \circ}$ be an algebraic structure.

The operation $\circ$ in $\struct {S, \circ}$ is cancellable if and only if:

$\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$