Definition:Cancellable Element/Right Cancellable

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\left ({S, \circ}\right)$ be an algebraic structure.


An element $x \in \left ({S, \circ}\right)$ is right cancellable iff:

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


Also see



Sources