Definition:Power (B-Algebra)

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

For any $x \in X$ and $n \in \N$, define the $n$th power of $x$, denoted $x^n$, inductively:


 * $x^n = \begin{cases}

0 & \text{if $n = 0$} \\ x^{n-1} \circ \left({0 \circ x}\right) & \text{if $n \ge 1$} \end{cases}$

Also see

 * First Power of Element in B-Algebra, demonstrating $x^1 = x$