# Category:Cancellable Monoids

Jump to navigation
Jump to search

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.

## Subcategories

This category has only the following subcategory.

## Pages in category "Cancellable Monoids"

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