Category:Cancellability

From ProofWiki
Jump to navigation Jump to search

This category contains results about cancellable elements.
Definitions specific to this category can be found in Definitions/Cancellability.

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

An element $x \in \struct {S, \circ}$ is cancellable if and only if:

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

Pages in category "Cancellability"

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