Definition:Underlying Set

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

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