Definition:Underlying Set/Abstract Algebra

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

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