Right Regular Representation of 0 is Bijection in B-Algebra

Theorem
Let $\left({X, \circ}\right)$ be a $B$-algebra.

Then the right-regular representation of $\left({X, \circ}\right)$ with respect to $0$ is a bijection.

Proof
Axiom $(A2)$ for $B$-algebras states:


 * $\forall x \in X: x \circ 0 = x$

and so, for all $x \in X$:


 * $\rho_0 \left({x}\right) = x$

That is, $\rho_0 = I_X$, the identity mapping on $X$.

The result follows from Identity Mapping is Bijection.