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.