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.


This category has only the following subcategory.

Pages in category "Cancellable Monoids"

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