Category:Examples of Cancellable Operations

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Cancellable Operation.

Let $\struct {S, \circ}$ be an algebraic structure.


The operation $\circ$ in $\struct {S, \circ}$ is cancellable if and only if:

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

Subcategories

This category has only the following subcategory.