Definition:B-Algebra

Definition
Let $\struct {X, \circ}$ be an algebraic structure.

$\struct {X, \circ}$ is a $B$-algebra $\struct {X, \circ}$ satisfies the $B$-algebra axioms:

Also see

 * $B$-Algebra Induces Group
 * Group Induces $B$-Algebra