Right Cancellable Elements of Semigroup form Subsemigroup

Theorem
Let $\left ({S, \circ}\right)$ be a semigroup.

Let $C_\rho$ be the set of right cancellable elements of $\left ({S, \circ}\right)$.

Then $\left({C_\rho, \circ}\right)$ is a subsemigroup of $\left ({S, \circ}\right)$.

Proof
Let $C_\rho$ be the set of right cancellable elements of $\left ({S, \circ}\right)$:


 * $C_\rho = \left\{{x \in S: \forall a, b \in S: a \circ x = b \circ x \implies a = b}\right\}$

Let $x, y \in C_\rho$.

Then:

Thus $\left({C_\rho, \circ}\right)$ is closed.

Therefore by the Subsemigroup Closure Test $\left({C_\rho, \circ}\right)$ is a subsemigroup of $\left ({S, \circ}\right)$.