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

## Pages in category "Definitions/Cancellability"

The following 19 pages are in this category, out of 19 total.