Category:Cancellable Monoids

From ProofWiki
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.