Category:Cancellable Monoids

This category contains results about Cancellable Monoids.

Let $\struct {S, \circ}$ be a monoid.

$\struct {S, \circ}$ is defined as being cancellable if and only if:

$\forall a, b, c \in S: a \circ c = b \circ c \implies a \circ b$

$\forall a, b, c \in S: a \circ b = a \circ c \implies b \circ c$

That is, if and only if $\circ$ is a cancellable operation.