Axiom:B-Algebra Axioms

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

$\struct {X, \circ}$ is said to satisfy the $B$-algebra axioms the following conditions are satisfied:

Also see

 * $B$-algebra