\begin{definition}[Definition:Commutative B-Algebra]
Let $\struct {X, \circ}$ be a $B$-algebra.
Then $\struct {X, \circ}$ is said to be '''$0$-commutative''' (or just '''commutative''') {{iff}}:
:$\forall x, y \in X: x \circ \paren {0 \circ y} = y \circ \paren {0 \circ x}$
\end{definition}