Let X {\displaystyle {}X} and Y {\displaystyle {}Y} denote sets. A relation between X {\displaystyle {}X} and Y {\displaystyle {}Y} is a subset R ⊆ X × Y {\displaystyle {}R\subseteq X\times Y} .
