Es seien X {\displaystyle {}X} und Y {\displaystyle {}Y} Mengen. Eine Relation zwischen X {\displaystyle {}X} und Y {\displaystyle {}Y} ist eine Teilmenge R ⊆ X × Y {\displaystyle {}R\subseteq X\times Y} .
