An algebraic system consists of a [[Empty Set|nonempty]] [[Set|set]] $A$, called the [[Underlying Set]] of the structure, as well as one or more [[Operation|operations]] $*_{1},*_{2},\dots$ which operate on the [[Underlying Set|underlying set]]. We can denote the system as $[A,*_{1}, *_{2}, \dots]$, or abbreviate it simply to the [[Underlying Set|underlying set]] $A$ is the context is known (for brevity).
>[!example]
[[Ring|Rings]] are an example of algabraic structures whose [[Underlying Set|algabraic domain]] is the ring's domain (for example, [[Integer|integers]]) and whose operations are $\times$ and $+$.