Definition:B-Algebra

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

Then $\struct {X, \circ}$ is a $B$-algebra :