Definition:Cancellable Element/Left Cancellable

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

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


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

Also see

 * Definition:Right Cancellable Element
 * Definition:Cancellable Element


 * Definition:Left Cancellable Operation


 * Definition:Cancellable Operation
 * Definition:Right Cancellable Operation