Definition:Cancellable Element/Left Cancellable

From ProofWiki
Jump to navigation Jump to search

Definition

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


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

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


Also see



Sources