Category:Definitions/Relational Structures

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Relational Structures.
Related results can be found in Category:Relational Structures.


A relational structure is an ordered pair $\struct {S, \RR}$, where:

$S$ is a set
$\RR$ is an endorelation on $S$.