Category:Relational Structures

From ProofWiki
Jump to navigation Jump to search

This category contains results about Relational Structures.
Definitions specific to this category can be found in Definitions/Relational Structures.

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

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

This category currently contains no pages or media.