Definition:Algebraic Structure

Definition
An algebraic structure with $n$ operations is an ordered tuple:
 * $\struct {S, \circ_1, \circ_2, \ldots, \circ_n}$

where:
 * $S$ is a set
 * $\circ_1, \circ_2, \ldots, \circ_n$ are $n$ binary operations which are defined on all the elements of $S \times S$.

Also see

 * Definition:Closed Algebraic Structure
 * Definition:Magma
 * Definition:Algebraic System, a slightly more general concept


 * Definition:Underlying Set of Structure: the set $S$ on $\struct {S, \circ}$