Definition: Algebraic Structure
An algebraic structure consists of a non-empty set , a set of operations on and a finite set of rules which these operations must obey.
NOTE
The set is often called the domain, carrier set or underlying set of the algebraic structure.