Definition:Underlying Set/Relational Structure

Definition
Let $\left({S, \mathcal R}\right)$ be a relational structure.

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