Definition:Underlying Set

Definition
Let $$\left({S, \circ}\right)$$ be an algebraic structure.

Then the underlying set of $$\left({S, \circ}\right)$$ is the set $$S$$.