# Definition:Underlying Set/Relational Structure

Let $\left({S, \mathcal R}\right)$ be a relational structure.
Then the underlying set of $\left({S, \mathcal R}\right)$ is the set $S$.