# Definition:Underlying Set/Abstract Algebra

Let $\struct {S, \circ}$ be an algebraic structure.
Then the underlying set of $\struct {S, \circ}$ is the set $S$.