Definition:Underlying Set/Abstract Algebra

Definition
Let $\struct {S, \circ}$ be an algebraic structure.

Then the underlying set of $\struct {S, \circ}$ is the set $S$.