Definition:Relational Structure

Definition
A relational structure is an ordered pair $\struct {S, \RR}$, where:
 * $S$ is a set
 * $\RR$ is an endorelation on $S$.

Also known as
A relational structure may also be called a relational system.