Definition:Relational Structure

Definition
A relational structure is an ordered pair $\left ({S, \mathcal R}\right)$, where:
 * $S$ is a set.
 * $\mathcal R$ is an endorelation on $S$.