Definition:Underlying Set/Relational Structure

Definition
Let $\struct {S, \RR}$ be a relational structure.

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