Axiom:B-Algebra Axioms

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

$\struct {X, \circ}$ is a $B$-algebra  the following conditions are satisfied:

These criteria are called the $B$-algebra axioms.

Also see

 * $B$-algebra